summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/Manifest.gzbin16193 -> 16189 bytes
-rw-r--r--sci-mathematics/cvc4/Manifest2
-rw-r--r--sci-mathematics/cvc4/cvc4-1.8-r1.ebuild2
3 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index a7ac994c6b7a..04350e57f03a 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/cvc4/Manifest b/sci-mathematics/cvc4/Manifest
index f1efbdc6c78c..9dad15582b38 100644
--- a/sci-mathematics/cvc4/Manifest
+++ b/sci-mathematics/cvc4/Manifest
@@ -3,5 +3,5 @@ AUX cvc4-1.8-gentoo.patch 1983 BLAKE2B bd9e7f8b442e151fdc27b45866ed4374ffcbeb5d3
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-r1.ebuild 1344 BLAKE2B fb5fa0f1176a038b7c6b9a00d0116abd2ae6f831d672de66beba2e5b83bb7713bdb0c94124e1d44cf2ecad41fb9055c1a10cf6f98c253380d4ead1173bd64e96 SHA512 38b6e0a1ee2d3b7c7d828dac4d7a3f6436881e27daf897fbbb715fbcc7de50e96d3b5585829aa3088aaac8464cd4e13b6afec8a4b37e56772f734e58d1a647be
+EBUILD cvc4-1.8-r1.ebuild 1351 BLAKE2B c539a1d0423a90f2b169d66bfdc21ceedbf6b980e8935c905b7be7a67187e9ae0e02f9a3a53c2cf1c76a90ac3b9e0f2c00ee47552a54c5b02266e6c36d85a72e SHA512 fe1c697a4492e4f73b4755d282c21b5aef55ad28ed0989224f9d13149141138825716137afd35b336abf27d8398a5ba88cd44aae8397913220264a7d595f9f74
MISC metadata.xml 813 BLAKE2B fb7b8a913282ec4634c2d0e1456b73285857e6f7d1acfa4d0450f8718485bfb67d36195a21e51daf662c9aa84205ec071ecc429e0519d02008e1ff68f6b83a04 SHA512 8b63e5250d0fb76f5fabc5ba3973b34eb740cc65d1ab66ec1072e407e9b4806ecf3679e0511d6912a866cc367069dfdeaf2a32f3938884fdedecbd16c58b268a
diff --git a/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
index ed74ecc20fba..c013d2a2ed33 100644
--- a/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
@@ -33,7 +33,7 @@ S="${WORKDIR}"/${PN^^}-archived-${PV}
PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
python_check_deps() {
- has_version "dev-python/toml[${PYTHON_USEDEP}]"
+ python_has_version "dev-python/toml[${PYTHON_USEDEP}]"
}
src_configure() {