diff --git a/CMakeLists.txt b/CMakeLists.txt
index cd909368..4dfed5a7 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -25,7 +25,7 @@ cmake_minimum_required(VERSION 3.10)
 
 project(
   black 
-  VERSION 0.10.4
+  VERSION 0.10.5
   LANGUAGES C CXX
   DESCRIPTION "BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)"
 )
diff --git a/README.md b/README.md
index 4e41d990..e24e18d4 100644
--- a/README.md
+++ b/README.md
@@ -44,6 +44,6 @@ Download the self-contained ZIP archive.
 
 [Doc]: https://www.black-sat.org
 [brew]: https://brew.sh
-[pkg.deb]: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.4-1.x86_64.deb
-[pkg.rpm]: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.4-1.x86_64.rpm
-[pkg.win]: https://github.com/black-sat/black/releases/download/v0.10.4/black-0.10.4-win-x64.zip
\ No newline at end of file
+[pkg.deb]: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.5-1.x86_64.deb
+[pkg.rpm]: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.5-1.x86_64.rpm
+[pkg.win]: https://github.com/black-sat/black/releases/download/v0.10.4/black-0.10.5-win-x64.zip
\ No newline at end of file
diff --git a/docs/website/cli.rst b/docs/website/cli.rst
index a0026717..123da556 100644
--- a/docs/website/cli.rst
+++ b/docs/website/cli.rst
@@ -137,7 +137,7 @@ with the ``--sat-backends`` option::
    $ black --sat-backends
 
    BLACK - Bounded Lᴛʟ sAtisfiability ChecKer
-        version 0.10.4
+        version 0.10.5
 
    Available SAT backends:
    - z3 *
diff --git a/docs/website/installation/linux.rst b/docs/website/installation/linux.rst
index 4e81c7ea..9b6e27de 100644
--- a/docs/website/installation/linux.rst
+++ b/docs/website/installation/linux.rst
@@ -32,13 +32,13 @@ the packages should work but do not, please open a GitHub `issue
 
 
 .. |Ubuntu20.04Badge| image:: https://badgen.net/badge/Download%20v0.10.4/.deb/green
-.. _Ubuntu20.04Badge: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.4.ubuntu20.04.x86_64.deb
+.. _Ubuntu20.04Badge: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.5.ubuntu20.04.x86_64.deb
 .. |Ubuntu22.04Badge| image:: https://badgen.net/badge/Download%20v0.10.4/.deb/green
-.. _Ubuntu22.04Badge: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.4.ubuntu22.04.x86_64.deb
+.. _Ubuntu22.04Badge: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.5.ubuntu22.04.x86_64.deb
 .. |Fedora37Badge| image:: https://badgen.net/badge/Download%20v0.10.4/.rpm/green
-.. _Fedora37Badge: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.4.fedora37.x86_64.rpm
+.. _Fedora37Badge: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.5.fedora37.x86_64.rpm
 .. |Fedora38Badge| image:: https://badgen.net/badge/Download%20v0.10.4/.rpm/green
-.. _Fedora38Badge: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.4.fedora38.x86_64.rpm
+.. _Fedora38Badge: https://github.com/black-sat/black/releases/download/v0.10.4/black-sat-0.10.5.fedora38.x86_64.rpm
 
 Compilation from source
 ------------------------
diff --git a/docs/website/installation/windows.rst b/docs/website/installation/windows.rst
index a523052b..81c7f5d2 100644
--- a/docs/website/installation/windows.rst
+++ b/docs/website/installation/windows.rst
@@ -14,7 +14,7 @@ is self-contained.
    * - |WindowsBadge|_
 
 .. |WindowsBadge| image:: https://badgen.net/badge/Download%20v0.10.4/.zip/green
-.. _WindowsBadge: https://github.com/black-sat/black/releases/download/v0.10.4/black-0.10.4-win-x64.zip
+.. _WindowsBadge: https://github.com/black-sat/black/releases/download/v0.10.4/black-0.10.5-win-x64.zip
 
 
 The binary package includes the Z3 backend. To use other backends, BLACK needs