Bump to v0.10.5

black-sat · Nov 21, 2023 · 94fa5d3 · 94fa5d3
1 parent a9da206
commit 94fa5d3
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 10 deletions.
diff --git 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
@@ -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
+[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
diff --git 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
@@ -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
@@ -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