diff --git a/README.md b/README.md
index 696bf72..a2c6aa5 100644
--- a/README.md
+++ b/README.md
@@ -58,12 +58,12 @@ The Python implementation can be used for several purposes:
 ## Dependencies
 
 ### Run-time
-* 3.8 <= Python3 <= 3.11
+* 3.8 <= Python3 <= 3.12
 * [PyVCG](https://pypi.org/project/PyVCG)
+* [PyPI CVC5](https://pypi.org/project/cvc5)
+  (required when using the `--verify` option)
 
-Optional dependencies (they are not installed automatically):
-* [PyPI CVC5](https://pypi.org/project/cvc5) (Linux or OSX only,
-  required when using the `--verify` option)
+Optional dependency (not installed automatically):
 * [Binary CVC5](https://github.com/cvc5/cvc5/releases/tag/cvc5-1.0.8)
   (An alternative to PyPI CVC5, make sure to rename the binary to
   `cvc5` and put it on your PATH).
diff --git a/documentation/dev_setup.md b/documentation/dev_setup.md
index 0e7ae8c..1235c2e 100644
--- a/documentation/dev_setup.md
+++ b/documentation/dev_setup.md
@@ -6,10 +6,9 @@ may be possible to get it to work on other platforms.
 
 ## Setup
 
-* You need a suitable version of Python3 (3.8, 3.9, 3.10, or
-  3.11). The reason we do not support 3.12 or later (for the dev
-  setup) is the dependency on CVC5. Users could use 3.12; but they
-  won't be able to use the CVC5 API.
+* You need a suitable version of Python3 (3.8 <= Python3 <= 3.12). You
+  can install this from your package manager. On Debian the package is
+  called `python3`.
 
 * You also need an executable `cvc5` binary on your PATH. Download the
   appropriate version from