diff --git a/CHANGES.md b/CHANGES.md
index b7564d9..bfba08e 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,5 +1,17 @@
 (!!! = may break code that uses previous versions)
 
+version 0.5, November 15, 2022
+===============================
+
+* Reworking the library build system, now only relying on dune.
+  The Makefile is now clearer and simpler to use.
+
+* (!!!) Logs are handled by the `logs` library and debug is activated by this
+  library.
+
+* (!!!) The `Rat2` module now abstract bounds as strict upper, strict lower or
+  soft bounds instead of pairs of rationals.
+
 version 0.4, August 22, 2017
 ===============================
 
diff --git a/dune-project b/dune-project
index 6cad4cb..30b1f41 100644
--- a/dune-project
+++ b/dune-project
@@ -2,7 +2,7 @@
 
 (name ocplib-simplex)
 
-(version dev)
+(version 0.5)
 
 (generate_opam_files true)
 
diff --git a/ocplib-simplex.opam b/ocplib-simplex.opam
index 4db3f75..c58b034 100644
--- a/ocplib-simplex.opam
+++ b/ocplib-simplex.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "dev"
+version: "0.5"
 synopsis:
   "ocplib-simplex: A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities"
 description:
diff --git a/src/version.ml b/src/version.ml
index 32b9deb..00c77dc 100644
--- a/src/version.ml
+++ b/src/version.ml
@@ -4,4 +4,4 @@
 (* Copyright (C) --- OCamlPro --- See README.md for information and licensing *)
 (******************************************************************************)
 
-let version="0.4+"
+let version="0.5"