diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-02-22 12:25:04 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-02-22 12:25:33 +0100 |
| commit | efd139384b4115a72399f8afe83890c8c021b6dc (patch) | |
| tree | ffdbae23c0366723a85ccabc3afa8ef7a30be446 /sci-mathematics | |
| parent | dev-util/diffoscope: add 236 (diff) | |
| download | gentoo-efd139384b4115a72399f8afe83890c8c021b6dc.tar.gz gentoo-efd139384b4115a72399f8afe83890c8c021b6dc.tar.bz2 gentoo-efd139384b4115a72399f8afe83890c8c021b6dc.zip | |
sci-mathematics/cvc4: add support to python 3.11
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.8-r3.ebuild (renamed from sci-mathematics/cvc4/cvc4-1.8-r2.ebuild) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/cvc4/cvc4-1.8-r2.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r3.ebuild index 7f7a9ad7aa88..276bdf289c12 100644 --- a/sci-mathematics/cvc4/cvc4-1.8-r2.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.8-r3.ebuild @@ -4,7 +4,7 @@ EAPI=7 CMAKE_MAKEFILE_GENERATOR=emake -PYTHON_COMPAT=( python3_{9..10} ) +PYTHON_COMPAT=( python3_{9..11} ) inherit cmake python-any-r1 DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems" |