diff --git a/VERSION b/VERSION
index 3b5a3833b21df5acb77bae75f31a0f429c84077c..9263b4da4adabeb62cb32baaa15964ee53c523ad 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-28.0+dev
+28.1+dev
diff --git a/bin/frama-c-build-scripts.sh b/bin/frama-c-build-scripts.sh
index 3823d537a85a2f2460371e3557b42c28429d585c..4aa1c579abc5786b38313fde6951719d8a8f0fa8 100755
--- a/bin/frama-c-build-scripts.sh
+++ b/bin/frama-c-build-scripts.sh
@@ -91,7 +91,7 @@ DuneProject () {
     echo "(maintainers \"anonymous\")"
     echo "(package (name ${PACKAGE})"
     echo "  (depends"
-    echo "    (\"frama-c\" (>= 28.0))"
+    echo "    (\"frama-c\" (>= 28.1))"
     echo "  )"
     echo " (tags (\"Frama-C scripts\"))"
     echo ")"
diff --git a/opam b/opam
index 5089492c9c3f4e26a334c6c1f12655d696456d86..8553ce6ee227c1ba56ed079f4269024f7e5b91fd 100644
--- a/opam
+++ b/opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "28.0+dev"
+version: "28.1+dev"
 description:"""
 Frama-C gathers several analysis techniques in a single collaborative
 framework, based on analyzers (called "plug-ins") that can build upon the
@@ -72,7 +72,7 @@ authors: [
 homepage: "https://frama-c.com/"
 license: "LGPL-2.1-only"
 dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
-doc: "http://frama-c.com/download/user-manual-28.0-Nickel.pdf"
+doc: "http://frama-c.com/download/user-manual-28.1-Nickel.pdf"
 bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
 tags: [
   "deductive"
@@ -119,9 +119,13 @@ run-test: [
 ]
 
 depends: [
-  "dune" { >= "3.7.0" & < "3.13.0" }
+  "dune" { >= "3.7.0"
+         & != "3.13.0" # performance problem
+         }
   "dune-configurator"
-  "dune-site" { >= "3.7.0" & < "3.13.0" }
+  "dune-site" { >= "3.7.0"
+              & != "3.13.0" # performance problem
+              }
 
   ( "alt-ergo-free" | "alt-ergo" )
   "conf-graphviz" { post }
diff --git a/reference-configuration.md b/reference-configuration.md
index 2d2c04e085ede305d82ea7c00af824efca15e6b6..5ba397866c50985d0bdb5339e4d27166b587467a 100644
--- a/reference-configuration.md
+++ b/reference-configuration.md
@@ -1,5 +1,5 @@
 The following set of packages is known to be a working configuration for
-compiling Frama-C 28.0.
+compiling Frama-C 28.1.
 
 - OCaml 4.13.1
 - alt-ergo.2.4.2 (for wp, optional)
diff --git a/releases/28.1.md b/releases/28.1.md
new file mode 100644
index 0000000000000000000000000000000000000000..7430d89eb41dcc522b9b1258ea9b1fa7871b94ae
--- /dev/null
+++ b/releases/28.1.md
@@ -0,0 +1,11 @@
+# Kernel
+
+- Fix Cil.isConstant on lvalues with offset.
+
+# Ivette
+
+- Fix Ivette shell wrapper on macOS.
+
+# WP
+
+- Fix interactive prover startup.
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 35c9005a454f37c39aa66292522f8df0b3f8a120..d8870d5d675330af434e4497703f6dcdb3ce0f41 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,10 @@
 Plugin E-ACSL <next-release>
 ###############################################################################
 
+###############################################################################
+Plugin E-ACSL 28.1 (Nickel)
+###############################################################################
+
 ###############################################################################
 Plugin E-ACSL 28.0 (Nickel)
 ###############################################################################
diff --git a/tools/hdrck/frama-c-hdrck.opam b/tools/hdrck/frama-c-hdrck.opam
index fec9d987234512e1d424a8d748714a8c00b55cee..019afc381da04856c7be0502bda0b5bdbafd86f4 100644
--- a/tools/hdrck/frama-c-hdrck.opam
+++ b/tools/hdrck/frama-c-hdrck.opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c-hdrck"
 synopsis: "Frama-C header check tool"
-version: "28.0"
+version: "28.1"
 description:"""
 Performs all checks related to file headers as required by the Frama-C
 continuous integration.
diff --git a/tools/lint/frama-c-lint.opam b/tools/lint/frama-c-lint.opam
index 69aff8dd9a434002f600ebfa3e72432ccc1cae84..cd26b633ec0524104b67329f536e448bd87f661c 100644
--- a/tools/lint/frama-c-lint.opam
+++ b/tools/lint/frama-c-lint.opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c-lint"
 synopsis: "Frama-C lint tool"
-version: "28.0"
+version: "28.1"
 description:"""
 Performs all checks related to source code formatting as required by the Frama-C
 continuous integration. Namely: OCP-indent for ML files, clang-format for E-ACSL