diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-02-22 14:28:15 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-22 14:28:15 +0000 |
| commit | aae71b4d8e684ca22d28ef0f1da0989e7bf6468d (patch) | |
| tree | 0e9cf35d85726e6aa9fbd58b12035f92ffec0130 /sci-mathematics/cvc4 | |
| parent | 20ed81714fa97f5845db16a3c142b3b44d820bc4 (diff) | |
gentoo auto-resync : 22:02:2023 - 14:28:15
Diffstat (limited to 'sci-mathematics/cvc4')
| -rw-r--r-- | sci-mathematics/cvc4/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.8-r3.ebuild (renamed from sci-mathematics/cvc4/cvc4-1.8-r2.ebuild) | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/cvc4/Manifest b/sci-mathematics/cvc4/Manifest index 071e0c9ead5c..c3963c1a7fdf 100644 --- a/sci-mathematics/cvc4/Manifest +++ b/sci-mathematics/cvc4/Manifest @@ -1,5 +1,5 @@ AUX cvc4-1.8-gentoo.patch 1983 BLAKE2B bd9e7f8b442e151fdc27b45866ed4374ffcbeb5d37edd192cda13ddb3ca547b6e29cfea7641973636a184c14a649bb2131beb4e9c9b90f329dfd0cec8aab0bf0 SHA512 3793c9e318ffb266e505627ac7ea3cbf6a7ba3837a419967b873b72b71bc2bb1a45ae9fd61abaa95af02802267823d8affc1faf077f8ee16eef00ed7715c2187 AUX cvc4-1.8-toml.patch 1329 BLAKE2B 39def94cd357381b277c5d5e8b39edc5d9e48ea8ecccf190cea13995b4da54a896d9c0f8cf714b8c74425da1c8269fd1cddbef2619a4f59cbc4090bc31ec14a4 SHA512 ca999ee52e8e91259772cb0a4be7ca3149cf46196b599fb8f23301a5b4a4c5154b7419706ba9dd7f279f003692b10fcf406a4159542807baca85683595401479 DIST cvc4-1.8.tar.gz 7554297 BLAKE2B f4d2b223ba2c01ef745520d8874381a1873358fbc7eca12559656512ffeefccec4eca3d73a26debf34110ca14a3bccf35ca87e2a49575b8b67484bed79df081c SHA512 d6b0153b0f5c4e615c995a8eecfbfd783cfc1004c5134c6880230044081c71d638fee39cceb987eb8d72e91b2b6596b184dc0daacec8880cfc176c6dee8aa445 -EBUILD cvc4-1.8-r2.ebuild 1385 BLAKE2B 2eec032201922d9073f76fe09058eb40b567b8d56ee0a282dd35f6603e07a5535dc735c7a6c897126ecb3a7580d1b2545ab258a2f0fd0d2195cc73a0104b4fcf SHA512 5b499aa9b94d66f5cc75f75bf3698bf621227e54d4ad434e7e0286fe977b10dc5a7beb4aa1617791ea045e7888df1dc9f91c1bfb9cdd7197964ce2b17ff76e1d +EBUILD cvc4-1.8-r3.ebuild 1385 BLAKE2B bef7dc7aa982a1b123c6ada32443a74fdd967298b1bdb4a09cfde8fa322b8fd748293f9927f103d75ba2172065f95a19909f8d091bc68f0181d7de76e8c6ed34 SHA512 6dc1dcf5e3b9715abf2912f1fc2d61ffeff615a4360f046626b1e4efbbba04d877d32fba5365c8d8209661578d630af48b7d14b4a49adc3ac12c1021ffc9d639 MISC metadata.xml 840 BLAKE2B d452e6a81280e47283c6ff9fa8a800d89c39920e95416e6b25a3bd55663b8ada050b6c7d21b65053ed2e94ae6affb570946fe699bc6efebb26dfcd06dcd0c184 SHA512 603da6ccd58f6d90f8738047c9f93d2c32583242711355fa619f8acaf8694f0cc1e22d41592914a154cc4cfa31b0ab7308e8584c8951bc78a3bdf8e5f130cb04 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" |