diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-06-20 14:45:01 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-06-20 14:45:01 +0100 |
| commit | 34dea8e38f88007799629d0a56b12dec480b1d21 (patch) | |
| tree | 6790873994b58030360328cf5897d934b3b03d16 /sci-mathematics/z3 | |
| parent | 7932d472a02d4c016ff7dff4b7a5479ab9d1883d (diff) | |
gentoo resync : 20.06.2021
Diffstat (limited to 'sci-mathematics/z3')
| -rw-r--r-- | sci-mathematics/z3/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/z3/z3-4.8.10-r1.ebuild (renamed from sci-mathematics/z3/z3-4.8.10.ebuild) | 2 | ||||
| -rw-r--r-- | sci-mathematics/z3/z3-4.8.11-r1.ebuild (renamed from sci-mathematics/z3/z3-4.8.11.ebuild) | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index 52dc2747dbe8..080df16d0c7f 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -1,5 +1,5 @@ DIST z3-4.8.10.tar.gz 4731869 BLAKE2B 92487f71a0c8d961949dc23032d8fa3ff157fe7acc29b41d0d79326f8b59c60e19f43527cccf4e51872c0f0664598f9063876b04cc581f918aa48c37a13c4f3f SHA512 d2741d7ad3e1d5ee3fec92095b061a96a700c3327b2eb2090d4162bdcaeaebca8c072ef79c5daac1f6de3456165c2cc38e13f1045bc707779d1027b943837c5b DIST z3-4.8.11.tar.gz 4799940 BLAKE2B 5478f9f45f2dc8ea5d2b781e79d886e77eed5ae034498b434dae349aa76f05836d8fd3134a08b381830b57acb3896ac51337d5bbe480dcce4770f2cd4fbee841 SHA512 ceab703d0413d0135e0f4e6c3ba2bb58d6a4823385edb0bf7ecc96949a3073b687d415a2674c86c9f876adb52823f98f9fbbc107d799ed756dc16292f9864894 -EBUILD z3-4.8.10.ebuild 2425 BLAKE2B 23db5049ead16c9323773aa20d487b76cfb6d2126f1b93f7e507b5db93db490daf5a6a03b9a090404bd48182c0bf4a92aa3452bb9278b13cff89e235661f7e88 SHA512 3f69ea5e9b9de7dbf99ac2886791dc7947e12c9542fab93b9da9a82c8fb2273f07f5441ac54a1f5e8bc839c9f62815f95ea049e2c50e060eb11befbe676fd7ed -EBUILD z3-4.8.11.ebuild 2430 BLAKE2B ecfd9ccb8df8578e7f2f18ebed60e95476bb7f67c95825c51d19fb50db5562bf3de65b8cbac8f868ea2bb0c1a33c4a4e3fe800800d02086b3ab76ee91261239e SHA512 7e9fea4bf7c6818f8c8035eb9ff59f1c59731f73da90dc5661709495363b1c474f8e0267fd5967a956aba7643995150b960a9d67cbf8e7568e880c4dc4c35061 +EBUILD z3-4.8.10-r1.ebuild 2428 BLAKE2B dbcf484ac1b804abc88bc0dc7405e2c161f1d80259d972d2327c7f837bec3bee355efaa0d689fe5f490d09c0a509a2ee4be7fb38588518ca3f5db92997449e31 SHA512 3a48335f2cbb5d94a24c80793c4651f244c71645a869ee494ec83600aaaa3824a8198d71a32fe3c14c8f2df80c5b76ac321f41f6e04b5c4aab05851db65bf37c +EBUILD z3-4.8.11-r1.ebuild 2433 BLAKE2B 6289708b8c64f3aa62e98f659cc79bad7d9d189267e670d2543c45dc8b2fc60ee31b1a9950059f7a75ed2a470cf13d5a9dc5956259614985365de2aa6fd4418e SHA512 37db72f50f850d89bc9b540140d94d26a18358fda78afdd4cb95ba47b9ba3591c2afb50679acd722b776e8a9ff681688ab73899317d63d71c47687a8b8dd4d0e MISC metadata.xml 616 BLAKE2B c35cac6f5810148c69a612d6b04ed4cacdbf066e61951ea1433336f14b2b058c4dd50530b547021007489122f5e94407b30641dc9ccf3b59a345e7a09e5fdd28 SHA512 eaf72a29601e96d5312120a1fc01a0b3dd2b7d8dbee70f6052e8ff7a7e07ae8b768d1417b7f4b523e755e5569092f2685bba77beaf3d7c455ccbd057cc9b670a diff --git a/sci-mathematics/z3/z3-4.8.10.ebuild b/sci-mathematics/z3/z3-4.8.10-r1.ebuild index eb07c4a20143..2683e9fa94d9 100644 --- a/sci-mathematics/z3/z3-4.8.10.ebuild +++ b/sci-mathematics/z3/z3-4.8.10-r1.ebuild @@ -20,7 +20,7 @@ IUSE="doc examples gmp isabelle java python" REQUIRED_USE="${PYTHON_REQUIRED_USE}" RDEPEND="${PYTHON_DEPS} - gmp? ( dev-libs/gmp:0=[cxx,${MULTILIB_USEDEP}] )" + gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] )" DEPEND="${RDEPEND} java? ( >=virtual/jdk-1.8 )" BDEPEND=" diff --git a/sci-mathematics/z3/z3-4.8.11.ebuild b/sci-mathematics/z3/z3-4.8.11-r1.ebuild index fdef20fc1775..87be02fc9950 100644 --- a/sci-mathematics/z3/z3-4.8.11.ebuild +++ b/sci-mathematics/z3/z3-4.8.11-r1.ebuild @@ -20,7 +20,7 @@ IUSE="doc examples gmp isabelle java python" REQUIRED_USE="${PYTHON_REQUIRED_USE}" RDEPEND="${PYTHON_DEPS} - gmp? ( dev-libs/gmp:0=[cxx,${MULTILIB_USEDEP}] )" + gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] )" DEPEND="${RDEPEND} java? ( >=virtual/jdk-1.8 )" BDEPEND=" |