diff --git a/_events/framac-27.1.md b/_events/framac-27.1.md
new file mode 100644
index 0000000000000000000000000000000000000000..5bcc49a4b8c0e41f066ac29a588ea779a6271fc7
--- /dev/null
+++ b/_events/framac-27.1.md
@@ -0,0 +1,18 @@
+---
+layout: default
+date: "18-07-2023"
+short_title: Frama-C 27.1 (Cobalt)
+title: Release of Frama-C 27.1 (Cobalt)
+link: /fc-versions/cobalt.html
+---
+
+Frama-C 27.1 (Cobalt) is out. Download it [here](/fc-versions/cobalt.html).
+
+Main changes with respect to Frama-C 27.0 (Cobalt) include:
+
+#### Kernel
+- Fixes a crash and a freeze in the GTK GUI
+- Add a wrapper in `frama-c-script` for `make_machdep.py`
+
+#### Ivette
+- Fixes a crash with multiple instances of Ivette
diff --git a/_fc-versions/cobalt.md b/_fc-versions/cobalt.md
index bd84658974a8e3020c543dce1ae328a0ad64ed94..17d40e49c5ec2f332bd7bd56b8866f47345f22d5 100644
--- a/_fc-versions/cobalt.md
+++ b/_fc-versions/cobalt.md
@@ -4,55 +4,55 @@ number: 27
 name: Cobalt
 acsl: 19
 releases:
-- number: 0
+- number: 1
   categories:
-  - name: Frama-C v27.0 Cobalt
+  - name: Frama-C v27.1 Cobalt
     files:
     - name: Source distribution
-      link: /download/frama-c-27.0-Cobalt.tar.gz
+      link: /download/frama-c-27.1-Cobalt.tar.gz
       help: Compilation instructions
       help_link: /html/installations/cobalt.html
     - name: User manual
-      link: /download/user-manual-27.0-Cobalt.pdf
+      link: /download/user-manual-27.1-Cobalt.pdf
     - name: Plug-in development guide
-      link: /download/plugin-development-guide-27.0-Cobalt.pdf
+      link: /download/plugin-development-guide-27.1-Cobalt.pdf
       help: Hello plug-in tutorial archive
-      help_link: /download/hello-27.0-Cobalt.tar.gz
+      help_link: /download/hello-27.1-Cobalt.tar.gz
     - name: API Documentation
-      link: /download/frama-c-27.0-Cobalt-api.tar.gz
+      link: /download/frama-c-27.1-Cobalt-api.tar.gz
     - name: Server API Documentation
-      link: /download/frama-c-server-27.0-Cobalt-api.tar.gz
+      link: /download/frama-c-server-27.1-Cobalt-api.tar.gz
     - name: ACSL 1.19 (Cobalt implementation)
-      link: /download/acsl-implementation-27.0-Cobalt.pdf
+      link: /download/acsl-implementation-27.1-Cobalt.pdf
   - name: Plug-in Manuals
     sort: true
     files:
     - name: Aoraï manual
-      link: /download/aorai-manual-27.0-Cobalt.pdf
+      link: /download/aorai-manual-27.1-Cobalt.pdf
       help: Aoraï example
-      help_link: /download/aorai-example-27.0-Cobalt.tar.gz
+      help_link: /download/aorai-example-27.1-Cobalt.tar.gz
     - name: Metrics manual
-      link: /download/metrics-manual-27.0-Cobalt.pdf
+      link: /download/metrics-manual-27.1-Cobalt.pdf
     - name: Rte manual
-      link: /download/rte-manual-27.0-Cobalt.pdf
+      link: /download/rte-manual-27.1-Cobalt.pdf
     - name: Eva manual
-      link: /download/eva-manual-27.0-Cobalt.pdf
+      link: /download/eva-manual-27.1-Cobalt.pdf
     - name: WP manual
-      link: /download/wp-manual-27.0-Cobalt.pdf
+      link: /download/wp-manual-27.1-Cobalt.pdf
     - name: E-ACSL manual
-      link: /download/e-acsl/e-acsl-manual-27.0-Cobalt.pdf
+      link: /download/e-acsl/e-acsl-manual-27.1-Cobalt.pdf
   - name: Ivette Packages (experimental)
     files:
     - name: Linux AppImage
-      link: /download/frama-c-ivette-linux-27.0-Cobalt.AppImage
+      link: /download/frama-c-ivette-linux-27.1-Cobalt.AppImage
       help: README install
-      help_link: /download/frama-c-ivette-app-install-27.0-Cobalt.md
+      help_link: /download/frama-c-ivette-app-install-27.1-Cobalt.md
     - name: macOS x86
-      link: /download/frama-c-ivette-macos-x86-27.0-Cobalt.app
+      link: /download/frama-c-ivette-macos-x86-27.1-Cobalt.tar.gz
       help: README install
-      help_link: /download/frama-c-ivette-app-install-27.0-Cobalt.md
+      help_link: /download/frama-c-ivette-app-install-27.1-Cobalt.md
     - name: macOS ARM
-      link: /download/frama-c-ivette-macos-arm-27.0-Cobalt.app
+      link: /download/frama-c-ivette-macos-arm-27.1-Cobalt.tar.gz
       help: README install
-      help_link: /download/frama-c-ivette-app-install-27.0-Cobalt.md
+      help_link: /download/frama-c-ivette-app-install-27.1-Cobalt.md
 ---
diff --git a/download/acsl-1.19.pdf b/download/acsl-1.19.pdf
index cb6339110cc88ca782e4f1ec78aab57678b9e131..3a447c39b577fb4ed1848506340f600dd0fcdc44 100644
--- a/download/acsl-1.19.pdf
+++ b/download/acsl-1.19.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:5619bfa4664acbe6899aeecf245c788ee2bf1ef0c3b9a5369ca4277790d91635
+oid sha256:393e223b841a8cae776cb665f5f40bf549f925ab994183e05ee21bef46afcf55
 size 2025697
diff --git a/download/acsl-implementation-27.1-Cobalt.pdf b/download/acsl-implementation-27.1-Cobalt.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..99ae2e6ee7aba88cb049589c88c6613133df2579
--- /dev/null
+++ b/download/acsl-implementation-27.1-Cobalt.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:ed67b0e2abc55b29626843f1e854241fccd20d0bf44b56fcc89a421be2cb87ef
+size 2030545
diff --git a/download/acsl.pdf b/download/acsl.pdf
index cb6339110cc88ca782e4f1ec78aab57678b9e131..3a447c39b577fb4ed1848506340f600dd0fcdc44 100644
--- a/download/acsl.pdf
+++ b/download/acsl.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:5619bfa4664acbe6899aeecf245c788ee2bf1ef0c3b9a5369ca4277790d91635
+oid sha256:393e223b841a8cae776cb665f5f40bf549f925ab994183e05ee21bef46afcf55
 size 2025697
diff --git a/download/aorai-example-27.1-Cobalt.tar.gz b/download/aorai-example-27.1-Cobalt.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..450d1efc392b90ec304c7c992f1228b488795fe4
--- /dev/null
+++ b/download/aorai-example-27.1-Cobalt.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:2e7949e31772cbfe358d8f1dcdbb0719b7351f9200d7492a869d971b5b8c5e59
+size 1282
diff --git a/download/aorai-manual-27.1-Cobalt.pdf b/download/aorai-manual-27.1-Cobalt.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..6ba502756ccc030ede07e724c565234259882905
--- /dev/null
+++ b/download/aorai-manual-27.1-Cobalt.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:aac5d849705dcc6b46f23186f7cee5fc5b21236fd3db54d8bae21dbf2430bc86
+size 1332479
diff --git a/download/e-acsl/e-acsl-1.19.pdf b/download/e-acsl/e-acsl-1.19.pdf
index 0dc9126c18d27ea724db9a55aa938efe63df57cf..1945b2afaef26829a84c3a469ddaabfbb7b96608 100644
--- a/download/e-acsl/e-acsl-1.19.pdf
+++ b/download/e-acsl/e-acsl-1.19.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:272067ee9a9ad2753446364600100f0b31b797e65e9af73388c8fdc8e63f0180
+oid sha256:d2ebf58199a2d20d1c9947249ca4540367702e6c9868946005eb9fb01b22a4a4
 size 1271968
diff --git a/download/e-acsl/e-acsl-implementation-27.1-Cobalt.pdf b/download/e-acsl/e-acsl-implementation-27.1-Cobalt.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..4368a6742a423721508be2c489c1baf309a879c6
--- /dev/null
+++ b/download/e-acsl/e-acsl-implementation-27.1-Cobalt.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:11b63ad362c7677c2829e9d80dd84078e7de94200544f8578089824269f9477e
+size 1329236
diff --git a/download/e-acsl/e-acsl-implementation.pdf b/download/e-acsl/e-acsl-implementation.pdf
index b06ec79f8b7f5378b9544ff420cbf64562b16a40..4368a6742a423721508be2c489c1baf309a879c6 100644
--- a/download/e-acsl/e-acsl-implementation.pdf
+++ b/download/e-acsl/e-acsl-implementation.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:8cac259fbd9657afe27fe215ed3e5ab8b750f159869efa78cc8008d2a78e6457
-size 1329432
+oid sha256:11b63ad362c7677c2829e9d80dd84078e7de94200544f8578089824269f9477e
+size 1329236
diff --git a/download/e-acsl/e-acsl-manual-27.1-Cobalt.pdf b/download/e-acsl/e-acsl-manual-27.1-Cobalt.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..90b2c01252806ae72fae9ebb0c68209cddcf195b
--- /dev/null
+++ b/download/e-acsl/e-acsl-manual-27.1-Cobalt.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:8bcb5a0c474055c462534dd4ae71bc2f5ce711018cc7f4385c46d99e4e1788d6
+size 1369956
diff --git a/download/e-acsl/e-acsl-manual.pdf b/download/e-acsl/e-acsl-manual.pdf
index 841166d6356ca9fb50e0f0ef3ea256f9aa6a54d6..90b2c01252806ae72fae9ebb0c68209cddcf195b 100644
--- a/download/e-acsl/e-acsl-manual.pdf
+++ b/download/e-acsl/e-acsl-manual.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:e1d09915b6cc26a8b5c1ffafb54012fc26f5fcb9cd316ca916b35d38a2ec3bb8
-size 1369990
+oid sha256:8bcb5a0c474055c462534dd4ae71bc2f5ce711018cc7f4385c46d99e4e1788d6
+size 1369956
diff --git a/download/e-acsl/e-acsl.pdf b/download/e-acsl/e-acsl.pdf
index 0dc9126c18d27ea724db9a55aa938efe63df57cf..1945b2afaef26829a84c3a469ddaabfbb7b96608 100644
--- a/download/e-acsl/e-acsl.pdf
+++ b/download/e-acsl/e-acsl.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:272067ee9a9ad2753446364600100f0b31b797e65e9af73388c8fdc8e63f0180
+oid sha256:d2ebf58199a2d20d1c9947249ca4540367702e6c9868946005eb9fb01b22a4a4
 size 1271968
diff --git a/download/eva-manual-27.1-Cobalt.pdf b/download/eva-manual-27.1-Cobalt.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..2ddda2cdcd1912b175f6c77f561362ebaa5c0798
--- /dev/null
+++ b/download/eva-manual-27.1-Cobalt.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:26ed3fb835189956bb5a489ef9d1218dbc3ee976685f2694f466120740a8b228
+size 2548083
diff --git a/download/frama-c-27.1-Cobalt-api.tar.gz b/download/frama-c-27.1-Cobalt-api.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..310e69600e58c01fdfd5ee11ebb42bddda9f39c5
--- /dev/null
+++ b/download/frama-c-27.1-Cobalt-api.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:4ca273083738a8afe2c2f5312faecfcfbbed66c691db330e24e33695816de49e
+size 4347609
diff --git a/download/frama-c-27.1-Cobalt.tar.gz b/download/frama-c-27.1-Cobalt.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..60228c294b48fdbf2cec635db225dd5eb819e083
--- /dev/null
+++ b/download/frama-c-27.1-Cobalt.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:5b13574a16a58971c27909bee94ae7f37b17d897852b40c768a3d4e2e09e39d2
+size 7862547
diff --git a/download/frama-c-acsl-implementation.pdf b/download/frama-c-acsl-implementation.pdf
index b50304b86e1e7507bb98bf40e87ad87d3f4bbb76..99ae2e6ee7aba88cb049589c88c6613133df2579 100644
--- a/download/frama-c-acsl-implementation.pdf
+++ b/download/frama-c-acsl-implementation.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:60b0d090180b3eeaa46ddc56d70c9dce5c47e76cf7be6110626c95804eaaefbc
-size 2030552
+oid sha256:ed67b0e2abc55b29626843f1e854241fccd20d0bf44b56fcc89a421be2cb87ef
+size 2030545
diff --git a/download/frama-c-aorai-example.tar.gz b/download/frama-c-aorai-example.tar.gz
index 936eda2b5c0bbea194db066bafead6a41061ebe2..450d1efc392b90ec304c7c992f1228b488795fe4 100644
--- a/download/frama-c-aorai-example.tar.gz
+++ b/download/frama-c-aorai-example.tar.gz
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:e6911bd490fb4ad2cb9285a849aca621c50299d1dc1ff226946946346a6b5d55
+oid sha256:2e7949e31772cbfe358d8f1dcdbb0719b7351f9200d7492a869d971b5b8c5e59
 size 1282
diff --git a/download/frama-c-aorai-manual.pdf b/download/frama-c-aorai-manual.pdf
index d19e59be769cfb9ceacc1af203ee7143df713919..6ba502756ccc030ede07e724c565234259882905 100644
--- a/download/frama-c-aorai-manual.pdf
+++ b/download/frama-c-aorai-manual.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:82203aa8c5b137def6fcf00608325b34a54de8c79cdf72b8d25f69c663602e47
-size 1332541
+oid sha256:aac5d849705dcc6b46f23186f7cee5fc5b21236fd3db54d8bae21dbf2430bc86
+size 1332479
diff --git a/download/frama-c-api.tar.gz b/download/frama-c-api.tar.gz
index f458295020b466ec909047ed7449315c7edac967..310e69600e58c01fdfd5ee11ebb42bddda9f39c5 100644
--- a/download/frama-c-api.tar.gz
+++ b/download/frama-c-api.tar.gz
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:4a760914582a0ff7be66411542b229fccb1357f21fb3d8c6a85dbc59609abc30
-size 4347371
+oid sha256:4ca273083738a8afe2c2f5312faecfcfbbed66c691db330e24e33695816de49e
+size 4347609
diff --git a/download/frama-c-eva-manual.pdf b/download/frama-c-eva-manual.pdf
index 0133baf290974669796ec6e3adb9d762b8710f40..2ddda2cdcd1912b175f6c77f561362ebaa5c0798 100644
--- a/download/frama-c-eva-manual.pdf
+++ b/download/frama-c-eva-manual.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:f2abfa6848da57d90b41520a3d3043ecfe00d5457ae3bb2ade1d5380dd3500a7
-size 2548108
+oid sha256:26ed3fb835189956bb5a489ef9d1218dbc3ee976685f2694f466120740a8b228
+size 2548083
diff --git a/download/frama-c-ivette-app-install-27.1-Cobalt.md b/download/frama-c-ivette-app-install-27.1-Cobalt.md
new file mode 100644
index 0000000000000000000000000000000000000000..fb498cf239df15ada3962cfb72e987bd800e0b1f
--- /dev/null
+++ b/download/frama-c-ivette-app-install-27.1-Cobalt.md
@@ -0,0 +1,48 @@
+# Installing Binary Distribution of Ivette
+
+You shall have an installed Frama-C binary.
+
+**Warning:** if you already have an `ivette` script along with `frama-c`, this
+script is used for bootstrapping the installation of Ivette from source through
+your internet connection.  The instructions provided here are intended to
+_replace_ this installation procedure from source. Hence, it is highly
+recommanded for you to remove this bootstrapping `ivette` script if you want to
+use the binary distribution of Ivette.
+
+## Ivette for Linux
+
+Download the binary distribution (x86 only for now).
+
+Install it wherever you want and make it executable:
+
+```sh
+cp frama-c-ivette-linux-27.0-Cobalt.AppImage <IVETTE-INSTALL-PATH>/ivette.AppImage
+chmod a+x <IVETTE-INSTALL-PATH>/ivette.AppImage
+```
+
+Then add an alias `ivette` that just runs the AppImage:
+
+```sh
+alias ivette=<ABSOLUTE-IVETTE-INSTALL-PATH>/ivette.AppImage
+```
+
+## Ivette for macOS
+
+Download the suitable binary distribution of `Ivette.app` (x86 or arm64).
+
+You can install Ivette binaries at any location, typically
+`/Applications/Ivette.app` or `~/mylib/Ivette.app`.  To launch Ivette from the
+command line, you will need your own `ivette` script, like the
+following one:
+
+```sh
+#! /usr/bin/env sh
+exec open -na <IVETTE-INSTALL>/Ivette.app --args\
+  --command <FRAMAC-INSTALL>/frama-c\
+  --working $PWD $*
+```
+
+Simply replace `<IVETTE-INSTALL>` and `<FRAMAC-INSTALL>` in the code above with
+the (absolute) paths to your `Ivette.app` and `frama-c` binaries,
+respectively. Then, make your `ivette` script executable and simply use it like
+a `frama-c` command-line binary!
diff --git a/download/frama-c-ivette-linux-27.1-Cobalt.AppImage b/download/frama-c-ivette-linux-27.1-Cobalt.AppImage
new file mode 100755
index 0000000000000000000000000000000000000000..3e50bcfa1a67d12cd7192f8979dd833631b44b0f
--- /dev/null
+++ b/download/frama-c-ivette-linux-27.1-Cobalt.AppImage
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:3753633944c06667e2e641a4ffe9ddb4365e1b2e4d0c3565bda8e53a296b33d0
+size 114652594
diff --git a/download/frama-c-ivette-macos-arm-27.1-Cobalt.tar.gz b/download/frama-c-ivette-macos-arm-27.1-Cobalt.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..d16d99d8ae1990c831d0c4f143eea1f66d9d40b2
--- /dev/null
+++ b/download/frama-c-ivette-macos-arm-27.1-Cobalt.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:621269915992581ce3c620bde5aed338e36aa27d2fa28dece8717dc75ad858eb
+size 101110335
diff --git a/download/frama-c-ivette-macos-x86-27.1-Cobalt.tar.gz b/download/frama-c-ivette-macos-x86-27.1-Cobalt.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..14523b6282590fb0b512fcf175145795d3743740
--- /dev/null
+++ b/download/frama-c-ivette-macos-x86-27.1-Cobalt.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:a7a28707a798c8970636d9c2c2641b9501f284d0de2d9d7d8627bf859499f20b
+size 96476502
diff --git a/download/frama-c-metrics-manual.pdf b/download/frama-c-metrics-manual.pdf
index c941d64843fa822cdb6fecd41a34c053370e382e..34f61d63ddc6e0ccffc91c1b5855b27f6ab2ce38 100644
--- a/download/frama-c-metrics-manual.pdf
+++ b/download/frama-c-metrics-manual.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:ff1f82ec6241fb1e866c479f5f876380b8e0ca937a49600f3f5718441c271795
-size 1394771
+oid sha256:530545738ebd9fddb193c58f58ddbfcb76a163dd53be39d9e40fdad02e0ab51a
+size 1394715
diff --git a/download/frama-c-plugin-development-guide.pdf b/download/frama-c-plugin-development-guide.pdf
index 27e7eafc5312d8439e1530265ab0fd3dbb17e0fb..74a41b714af1b783932fce424851b7863c0f3eb1 100644
--- a/download/frama-c-plugin-development-guide.pdf
+++ b/download/frama-c-plugin-development-guide.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:05f78b6a10da9d58cf6e3d12e376bf13633141af8a8e31c320473cacf1927f14
-size 1949623
+oid sha256:b927e65be71efbc1c0d85a6419db60f6ed87dd5394ff65869352dd4f59f6c62b
+size 1949579
diff --git a/download/frama-c-rte-manual.pdf b/download/frama-c-rte-manual.pdf
index bb5359d7928db549c14104bc077021506bae556f..6caa632f27935030b363e8f1eccc1b1e17802ebd 100644
--- a/download/frama-c-rte-manual.pdf
+++ b/download/frama-c-rte-manual.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:77c22d1e334f3f2834a4b77ddf7a072d35303d4edd0c3aa50abf256d67552f14
-size 1268681
+oid sha256:dac14285c02099f51812192eab55349c91e78d9d0de13bd871c92f5d07d2ef54
+size 1268630
diff --git a/download/frama-c-server-27.1-Cobalt-api.tar.gz b/download/frama-c-server-27.1-Cobalt-api.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..73837ed21fc18f7c46deaf23f5399681384d95c7
--- /dev/null
+++ b/download/frama-c-server-27.1-Cobalt-api.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:e71292e0da41e6dfdc7e00e7c52e0074eb1f19ee3ad0cfdfc9f000d77109bdab
+size 46285
diff --git a/download/frama-c-server-api.tar.gz b/download/frama-c-server-api.tar.gz
index 99de3a9a6ee224f0cff9463ed403b276a4d84497..73837ed21fc18f7c46deaf23f5399681384d95c7 100644
--- a/download/frama-c-server-api.tar.gz
+++ b/download/frama-c-server-api.tar.gz
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:9ca1cb4b40ed04ca8dc84aecf915461d2d9330bd4625c686e5a52719b9637f9d
-size 46288
+oid sha256:e71292e0da41e6dfdc7e00e7c52e0074eb1f19ee3ad0cfdfc9f000d77109bdab
+size 46285
diff --git a/download/frama-c-source-dist.tar.gz b/download/frama-c-source-dist.tar.gz
index 65999fbc9b07afdc426e566a7b2195ea1846ba7d..60228c294b48fdbf2cec635db225dd5eb819e083 100644
--- a/download/frama-c-source-dist.tar.gz
+++ b/download/frama-c-source-dist.tar.gz
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:25885f89daa478aeafdd1e4205452c7a30695d4b3b3ee8fc98b4a9c5f83f79c2
-size 7860413
+oid sha256:5b13574a16a58971c27909bee94ae7f37b17d897852b40c768a3d4e2e09e39d2
+size 7862547
diff --git a/download/frama-c-user-manual.pdf b/download/frama-c-user-manual.pdf
index f0c05f52fda279e1993d1fa57fa84597db314452..e6bed9fc2f7f6913304ecd08e3be45001b36a32d 100644
--- a/download/frama-c-user-manual.pdf
+++ b/download/frama-c-user-manual.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:22e9e7d0f5569b78569590a34f7fff3363bf75598d140b6a516dba8d20cad9a2
-size 2456696
+oid sha256:65367fe9c5df968af15277e17e36e15109b11966540149c22d50406b343e8db1
+size 2456627
diff --git a/download/frama-c-value-analysis.pdf b/download/frama-c-value-analysis.pdf
index 0133baf290974669796ec6e3adb9d762b8710f40..2ddda2cdcd1912b175f6c77f561362ebaa5c0798 100644
--- a/download/frama-c-value-analysis.pdf
+++ b/download/frama-c-value-analysis.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:f2abfa6848da57d90b41520a3d3043ecfe00d5457ae3bb2ade1d5380dd3500a7
-size 2548108
+oid sha256:26ed3fb835189956bb5a489ef9d1218dbc3ee976685f2694f466120740a8b228
+size 2548083
diff --git a/download/frama-c-wp-manual.pdf b/download/frama-c-wp-manual.pdf
index 6ae3ed5d2ba7af25524188d341a71e3c0b039454..e83426be87955204ebae6b7bf927726a0afc6a62 100644
--- a/download/frama-c-wp-manual.pdf
+++ b/download/frama-c-wp-manual.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:925bd9dc7387d33356e357f7df58b4439fefd5ee27e2587fd003c1c50050a645
-size 1883929
+oid sha256:b45df46a6fd7b29c3b47084b46f5cfd9fdb1005705107d4f847dc86f4a7d58ac
+size 1883870
diff --git a/download/hello-27.1-Cobalt.tar.gz b/download/hello-27.1-Cobalt.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..1ef1ca4cc99f7720b759985281b1eca83207f7cb
--- /dev/null
+++ b/download/hello-27.1-Cobalt.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f61f27bd17de546264aa58f40f3aafaac7021e0ef69c17f6b1b4cd7664a037ec
+size 20
diff --git a/download/metrics-manual-27.1-Cobalt.pdf b/download/metrics-manual-27.1-Cobalt.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..34f61d63ddc6e0ccffc91c1b5855b27f6ab2ce38
--- /dev/null
+++ b/download/metrics-manual-27.1-Cobalt.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:530545738ebd9fddb193c58f58ddbfcb76a163dd53be39d9e40fdad02e0ab51a
+size 1394715
diff --git a/download/plugin-development-guide-27.1-Cobalt.pdf b/download/plugin-development-guide-27.1-Cobalt.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..74a41b714af1b783932fce424851b7863c0f3eb1
--- /dev/null
+++ b/download/plugin-development-guide-27.1-Cobalt.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:b927e65be71efbc1c0d85a6419db60f6ed87dd5394ff65869352dd4f59f6c62b
+size 1949579
diff --git a/download/rte-manual-27.1-Cobalt.pdf b/download/rte-manual-27.1-Cobalt.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..6caa632f27935030b363e8f1eccc1b1e17802ebd
--- /dev/null
+++ b/download/rte-manual-27.1-Cobalt.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:dac14285c02099f51812192eab55349c91e78d9d0de13bd871c92f5d07d2ef54
+size 1268630
diff --git a/download/user-manual-27.1-Cobalt.pdf b/download/user-manual-27.1-Cobalt.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..e6bed9fc2f7f6913304ecd08e3be45001b36a32d
--- /dev/null
+++ b/download/user-manual-27.1-Cobalt.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:65367fe9c5df968af15277e17e36e15109b11966540149c22d50406b343e8db1
+size 2456627
diff --git a/download/wp-manual-27.1-Cobalt.pdf b/download/wp-manual-27.1-Cobalt.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..e83426be87955204ebae6b7bf927726a0afc6a62
--- /dev/null
+++ b/download/wp-manual-27.1-Cobalt.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:b45df46a6fd7b29c3b47084b46f5cfd9fdb1005705107d4f847dc86f4a7d58ac
+size 1883870
diff --git a/html/installations/cobalt.md b/html/installations/cobalt.md
index 11218e08fa54840afd7c9fa65ab0342b66bb88a0..1f3855d3a56affb8d2e3dba165df5f2b67f6bc15 100644
--- a/html/installations/cobalt.md
+++ b/html/installations/cobalt.md
@@ -1,9 +1,9 @@
 ---
 layout: installation_page
 version: cobalt
-title: Installation instructions for Frama-C 27.0 (Cobalt)
+title: Installation instructions for Frama-C 27.1 (Cobalt)
 ---
-# Installing Frama-C  (released on 2023-06-15)
+# Installing Frama-C  (released on 2023-07-18)
 
 - [Installing Frama-C](#installing-frama-c)
     - [Table of Contents](#table-of-contents)