diff --git a/CHANGES.md b/CHANGES.md
index 2971f6eb..33022c22 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,4 +1,4 @@
-# Unreleased
+# 0.5.0
 
 - Add `submodule` optional argument to Ortac/QCheck-STM and Ortac/Dune
   [\#281](https://github.com/ocaml-gospel/ortac/pull/281)
diff --git a/LICENSE b/LICENSE
index 4a8c0d78..b91a8200 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,7 +1,7 @@
 The MIT License
 
 Copyright (c) 2020-2023 Clément Pascutto <clement@pascutto.fr>
-Copyright (c) 2021-2024 Nicolas Osborne <nicolas.osborne@tarides.com>
+Copyright (c) 2021-2025 Nicolas Osborne <nicolas.osborne@tarides.com>
 Copyright (c) 2022 Naomi Spargo <nspargo@andrew.cmu.edu>
 Copyright (c) 2023-2024 Samuel Hym <samuel@tarides.com>
 Copyright (c) 2024 Nikolaus Huber <mail@n-huber.eu>
diff --git a/dune-project b/dune-project
index 7241facf..5fed626d 100644
--- a/dune-project
+++ b/dune-project
@@ -3,7 +3,7 @@
 (using dune_site 0.1)
 (using mdx 0.4)
 
-(version 0.4.0)
+(version 0.5.0)
 
 (name ortac)
 (license MIT)
diff --git a/ortac-core.opam b/ortac-core.opam
index 84ac59b9..e48b8d91 100644
--- a/ortac-core.opam
+++ b/ortac-core.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.4.0"
+version: "0.5.0"
 synopsis:
   "Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel"
 description: """
diff --git a/ortac-dune.opam b/ortac-dune.opam
index d0332afa..6faddd22 100644
--- a/ortac-dune.opam
+++ b/ortac-dune.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.4.0"
+version: "0.5.0"
 synopsis: "Generate dune rules for other ortac plugins"
 description: "Generate dune rules for other ortac plugins"
 maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
diff --git a/ortac-examples.opam b/ortac-examples.opam
index 1a024c39..f4de443f 100644
--- a/ortac-examples.opam
+++ b/ortac-examples.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.4.0"
+version: "0.5.0"
 synopsis: "Ortac examples on different libraries"
 maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
 authors: [
diff --git a/ortac-monolith.opam b/ortac-monolith.opam
index 1c646e7e..1214a12e 100644
--- a/ortac-monolith.opam
+++ b/ortac-monolith.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.4.0"
+version: "0.5.0"
 synopsis: "Monolith plugin for Ortac"
 description: """
 The Monolith plugin for the Ortac command-line tool (provided by
diff --git a/ortac-qcheck-stm.opam b/ortac-qcheck-stm.opam
index 0fb8695f..3190510b 100644
--- a/ortac-qcheck-stm.opam
+++ b/ortac-qcheck-stm.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.4.0"
+version: "0.5.0"
 synopsis: "QCheck-STM plugin for Ortac"
 description: """
 The QCheck-STM plugin for the Ortac command-line tool (provided by
diff --git a/ortac-runtime-monolith.opam b/ortac-runtime-monolith.opam
index 8701a841..5388bbcb 100644
--- a/ortac-runtime-monolith.opam
+++ b/ortac-runtime-monolith.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.4.0"
+version: "0.5.0"
 synopsis: "Runtime support library for Ortac/Monolith-generated code"
 description: """
 The ortac-runtime-monolith library provides support for the code
diff --git a/ortac-runtime-qcheck-stm.opam b/ortac-runtime-qcheck-stm.opam
index 59e9a3b0..8db0bbb6 100644
--- a/ortac-runtime-qcheck-stm.opam
+++ b/ortac-runtime-qcheck-stm.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.4.0"
+version: "0.5.0"
 synopsis: "Runtime support library for Ortac/QCheck-STM-generated code"
 description: """
 The ortac-runtime-qcheck-stm library provides support for the code
diff --git a/ortac-runtime.opam b/ortac-runtime.opam
index ec73cfcd..b5b7ddac 100644
--- a/ortac-runtime.opam
+++ b/ortac-runtime.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.4.0"
+version: "0.5.0"
 synopsis: "Runtime support library for Ortac-generated code"
 description: """
 The ortac-runtime library provides support for the code generated
diff --git a/ortac-wrapper.opam b/ortac-wrapper.opam
index ba310e3e..aa9a9b59 100644
--- a/ortac-wrapper.opam
+++ b/ortac-wrapper.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.4.0"
+version: "0.5.0"
 synopsis: "Wrapper plugin for Ortac"
 description: """
 The Wrapper plugin for the Ortac command-line tool (provided by the