diff --git a/CITATION.cff b/CITATION.cff
index 1ddbc0c1e..e4237cc90 100644
--- a/CITATION.cff
+++ b/CITATION.cff
@@ -5,5 +5,5 @@ authors:
     given-names: Özgür
     orcid: https://orcid.org/0000-0001-9519-938X
 title:  Conjure: The Automated Constraint Modelling Tool
-version: v2.5.0
-date-released: 2023-05-18
+version: v2.5.1
+date-released: 2023-11-07
diff --git a/conjure-cp.cabal b/conjure-cp.cabal
index 9b03e22b7..03b49a4e1 100644
--- a/conjure-cp.cabal
+++ b/conjure-cp.cabal
@@ -1,6 +1,6 @@
 Cabal-version:  2.4
 Name:           conjure-cp
-Version:        2.5.0
+Version:        2.5.1
 Synopsis:       Conjure: The Automated Constraint Modelling Tool
 Description:    .
 Homepage:       http://github.com/conjure-cp/conjure
diff --git a/docs/conf.py b/docs/conf.py
index 6fb08c9f2..4feb1f655 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -73,7 +73,7 @@
 # built documents.
 #
 # The short X.Y version.
-version = u'2.5.0'
+version = u'2.5.1'
 # The full version, including alpha/beta/rc tags.
 release = version