diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2022-04-25 19:48:11 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2022-04-25 19:48:11 +0000 |
| commit | 0a58184905f45b9c74ecabbc2cc8a2819ba7ace3 (patch) | |
| tree | b9459cdc5a5b67465e6f8fe62f1df0605dcbe828 /metadata/md5-cache/sci-mathematics | |
| parent | Merge updates from master (diff) | |
| download | gentoo-0a58184905f45b9c74ecabbc2cc8a2819ba7ace3.tar.gz gentoo-0a58184905f45b9c74ecabbc2cc8a2819ba7ace3.tar.bz2 gentoo-0a58184905f45b9c74ecabbc2cc8a2819ba7ace3.zip | |
2022-04-25 19:48:11 UTC
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/z3-4.8.15-r1 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metadata/md5-cache/sci-mathematics/z3-4.8.15-r1 b/metadata/md5-cache/sci-mathematics/z3-4.8.15-r1 index c38b2b916c5f..fcf93045190a 100644 --- a/metadata/md5-cache/sci-mathematics/z3-4.8.15-r1 +++ b/metadata/md5-cache/sci-mathematics/z3-4.8.15-r1 @@ -6,11 +6,11 @@ EAPI=8 HOMEPAGE=https://github.com/Z3Prover/z3/ INHERIT=cmake-multilib java-pkg-opt-2 python-single-r1 IUSE=doc examples gmp isabelle java python abi_x86_32 abi_x86_64 abi_x86_x32 abi_mips_n32 abi_mips_n64 abi_mips_o32 abi_s390_32 abi_s390_64 java python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 -KEYWORDS=amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv x86 +KEYWORDS=amd64 arm arm64 ~ppc ~ppc64 ~riscv x86 LICENSE=MIT RDEPEND=python_single_target_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) gmp? ( dev-libs/gmp:0=[cxx(+),abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) java? ( >=dev-java/java-config-2.2.0-r3 ) REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 ) SLOT=0/4.8 SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.8.15.tar.gz _eclasses_=toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib 4a33c9008e5ee30cb8840a3fdc24df2b flag-o-matic a500d7cc40da3de38c361e889153bdf7 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils fef481272d4a8e136a7d8a0fb1329384 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 3c38df051095289667b6f09ebd0cc149 multibuild d26d81f242cb193d899a72bca423d0bd multilib-build 05f207909a804c9174bc39a00547d598 multilib-minimal 4b0f1857965db8869a729948d5277e0b cmake-multilib 7f8d0fb6ae10906fe334997f977e838b java-utils-2 92b5a4d196abffe2dbe3bdc1cf4ef2ae java-pkg-opt-2 a71433e535af8faae0c0f6c861a32054 python-utils-r1 777767a09e8cd6db1d4cebe8400bc974 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8 -_md5_=9d23ed60df003d158081d67a9de3459e +_md5_=8f8036f6f1939066859fd1b648728e67 |