diff options
| author |   David Seifert <soap@gentoo.org> | 2023-01-14 13:51:19 +0100 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2023-01-14 13:51:19 +0100 |
| commit | ed468028e725c9580a7b2ee02d6b7b9375f7a0b2 (patch) | |
| tree | 3a39616d9a763db526cec9d2562da20ec1c456a8 /sci-mathematics/cvc4 | |
| parent | sci-mathematics/form: bump to 4.3.0 (diff) | |
| download | gentoo-ed468028e725c9580a7b2ee02d6b7b9375f7a0b2.tar.gz gentoo-ed468028e725c9580a7b2ee02d6b7b9375f7a0b2.tar.bz2 gentoo-ed468028e725c9580a7b2ee02d6b7b9375f7a0b2.zip | |
*/*: remove py3.8 from PYTHON_COMPAT
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'sci-mathematics/cvc4')
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.7-r1.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.8-r2.ebuild | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild index a2f98aac04cc..340a8727e35b 100644 --- a/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild @@ -1,10 +1,10 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 CMAKE_MAKEFILE_GENERATOR=emake -PYTHON_COMPAT=( python3_{7..10} ) +PYTHON_COMPAT=( python3_{9..10} ) inherit cmake python-any-r1 DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems" diff --git a/sci-mathematics/cvc4/cvc4-1.8-r2.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r2.ebuild index 5757f85d54c2..7f7a9ad7aa88 100644 --- a/sci-mathematics/cvc4/cvc4-1.8-r2.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.8-r2.ebuild @@ -1,10 +1,10 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 CMAKE_MAKEFILE_GENERATOR=emake -PYTHON_COMPAT=( python3_{8..10} ) +PYTHON_COMPAT=( python3_{9..10} ) inherit cmake python-any-r1 DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems" |