diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-14 17:52:12 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-14 17:52:12 +0000 |
| commit | a90c84e720803f3d26c0ade8f1f1e405ca97502a (patch) | |
| tree | f788ea0972d51c66823825021dd83427e1d466c4 /sci-mathematics/cvc4 | |
| parent | 07c1e2fbaa2f7d2cad4c16a747cebcf7ae7a6724 (diff) | |
gentoo auto-resync : 14:01:2023 - 17:52:11
Diffstat (limited to 'sci-mathematics/cvc4')
| -rw-r--r-- | sci-mathematics/cvc4/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.7-r1.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.8-r2.ebuild | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/sci-mathematics/cvc4/Manifest b/sci-mathematics/cvc4/Manifest index 7ba65c23dacf..f6f6ad45635d 100644 --- a/sci-mathematics/cvc4/Manifest +++ b/sci-mathematics/cvc4/Manifest @@ -3,6 +3,6 @@ AUX cvc4-1.8-gentoo.patch 1983 BLAKE2B bd9e7f8b442e151fdc27b45866ed4374ffcbeb5d3 AUX cvc4-1.8-toml.patch 1329 BLAKE2B 39def94cd357381b277c5d5e8b39edc5d9e48ea8ecccf190cea13995b4da54a896d9c0f8cf714b8c74425da1c8269fd1cddbef2619a4f59cbc4090bc31ec14a4 SHA512 ca999ee52e8e91259772cb0a4be7ca3149cf46196b599fb8f23301a5b4a4c5154b7419706ba9dd7f279f003692b10fcf406a4159542807baca85683595401479 DIST cvc4-1.7.tar.gz 6969953 BLAKE2B 3a64db14a734e0314fb7d7b8dbed79e067c9bbf1723343dac1e9c47b3f09811b1a32ff0116412667bd0afefda2489c6c1679bf109710402a67bee0d91b62dd94 SHA512 b91dfac7ddf979a3474f562eb98f2d6f17a53efa38c1be5502429309a0c059e1f2b0d85ee95e5aee17d35f34c825f01f879ec4aaf26025b1fcac835c33a867c6 DIST cvc4-1.8.tar.gz 7554297 BLAKE2B f4d2b223ba2c01ef745520d8874381a1873358fbc7eca12559656512ffeefccec4eca3d73a26debf34110ca14a3bccf35ca87e2a49575b8b67484bed79df081c SHA512 d6b0153b0f5c4e615c995a8eecfbfd783cfc1004c5134c6880230044081c71d638fee39cceb987eb8d72e91b2b6596b184dc0daacec8880cfc176c6dee8aa445 -EBUILD cvc4-1.7-r1.ebuild 1379 BLAKE2B 7c19d2a0bda3de27f1fe34619bb380b9e1fd019b8ecd00d211bd8c377d8455a06f283b1494f2361cd765426366def94371192f4ae265c60df211c46b82387646 SHA512 072f641ba31457f411cf01959017ae743eb47a44a79007b9505c44361221369c1f9a651c23397ce13e7f32c01755b160410ab0b1e1b2a54cf7436c3089925e1d -EBUILD cvc4-1.8-r2.ebuild 1385 BLAKE2B 3644466818eee8930321823ed8fd68de4200cf261ff5dd6a24021f9695739669a26da7c915de8861d340ba36439eb3ac1314b88fbccbd5badfa84284cd5295d1 SHA512 7526613a0a0b5f43247cbb7a5a1cecc3947c3ae37c064d3e06356767c11cc3db4ad07fbfb506af2abc548314c9f2099dd296240c6e5cab1508298ee477210865 +EBUILD cvc4-1.7-r1.ebuild 1379 BLAKE2B a7d73271cc1266420acc93c3b608d9193849ec46d6f4311349e5fdc630b3cb6691197679283caa24dee09aa62239f40780c8c2c820a467d275ba45a85ad4f744 SHA512 e7efcba0ed5477a8fbfe1738c4a1702d8cecef2912ff2d0f6ad162a142599297f050e5d59332190603151dc1c1b038b5931b6040b79ae25f879ccec8ae8ad072 +EBUILD cvc4-1.8-r2.ebuild 1385 BLAKE2B 2eec032201922d9073f76fe09058eb40b567b8d56ee0a282dd35f6603e07a5535dc735c7a6c897126ecb3a7580d1b2545ab258a2f0fd0d2195cc73a0104b4fcf SHA512 5b499aa9b94d66f5cc75f75bf3698bf621227e54d4ad434e7e0286fe977b10dc5a7beb4aa1617791ea045e7888df1dc9f91c1bfb9cdd7197964ce2b17ff76e1d MISC metadata.xml 896 BLAKE2B 58163d55e390843818582cd3d83c274f31d9ff5bfb86fed1020fc2150bb16956afb021a0b7d19d882a03a827f1604187a3bd2cb7cc00cff15be0b44801e696c7 SHA512 16cc57406a27c2bdccea93e0cb6787be485c28eabb67741709857d887e1bba218c1e5c70558b881fa64527eee7ef74bbaabf016f997581ae6de6cd2e426e5371 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" |