diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-09-23 17:30:18 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-09-23 17:30:18 +0100 |
commit | 0e7ef53ddcc33809bcb2644d3649617113b78ea3 (patch) | |
tree | f1665ac62e9addb6b2c3663e7f7507b84c82a43e /metadata/md5-cache/sci-mathematics | |
parent | 55a7866dd6169a108d3a9e8d6696a970dea8a0b6 (diff) |
gentoo auto-resync : 23:09:2022 - 17:30:17
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 27756 -> 27758 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2 (renamed from metadata/md5-cache/sci-mathematics/vampire-4.6.1-r1) | 6 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/vampire-4.7-r1 (renamed from metadata/md5-cache/sci-mathematics/vampire-4.7) | 6 |
3 files changed, 6 insertions, 6 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 2bd030047442..02a775b4f172 100644 --- a/metadata/md5-cache/sci-mathematics/Manifest.gz +++ b/metadata/md5-cache/sci-mathematics/Manifest.gz diff --git a/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r1 b/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2 index 12d512b2cab6..cab08d6e736e 100644 --- a/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r1 +++ b/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2 @@ -1,6 +1,6 @@ BDEPEND=>=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5 DEFINED_PHASES=compile configure install prepare test -DEPEND=z3? ( dev-libs/gmp:= <sci-mathematics/z3-4.10:= ) +DEPEND=z3? ( dev-libs/gmp:= >=sci-mathematics/z3-4.11.2:= ) DESCRIPTION=The Vampire Prover, theorem prover for first-order logic EAPI=8 HOMEPAGE=https://vprover.github.io @@ -8,9 +8,9 @@ INHERIT=flag-o-matic cmake IUSE=debug +z3 KEYWORDS=~amd64 ~x86 LICENSE=BSD -RDEPEND=z3? ( dev-libs/gmp:= <sci-mathematics/z3-4.10:= ) +RDEPEND=z3? ( dev-libs/gmp:= >=sci-mathematics/z3-4.11.2:= ) RESTRICT=!debug? ( test ) SLOT=0/4.6.1 SRC_URI=https://github.com/vprover/vampire/archive/v4.6.1.tar.gz -> vampire-4.6.1.tar.gz _eclasses_=cmake 44afbf15c35884f7c840470f1cf05d0d flag-o-matic 29a755b1291d64133634d80b0328f153 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 toolchain-funcs 1542e649be915f43f6908a9e93909961 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e -_md5_=433cd95ae379538b9e38dac5e8cf6091 +_md5_=daf6722623787ab6b73526de0ed5bc36 diff --git a/metadata/md5-cache/sci-mathematics/vampire-4.7 b/metadata/md5-cache/sci-mathematics/vampire-4.7-r1 index b83d9a5ba299..f9acb9e7e8b4 100644 --- a/metadata/md5-cache/sci-mathematics/vampire-4.7 +++ b/metadata/md5-cache/sci-mathematics/vampire-4.7-r1 @@ -1,6 +1,6 @@ BDEPEND=>=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5 DEFINED_PHASES=compile configure install prepare test -DEPEND=z3? ( dev-libs/gmp:= <sci-mathematics/z3-4.10:= ) +DEPEND=z3? ( dev-libs/gmp:= >=sci-mathematics/z3-4.11.2:= ) DESCRIPTION=The Vampire Prover, theorem prover for first-order logic EAPI=8 HOMEPAGE=https://vprover.github.io @@ -8,9 +8,9 @@ INHERIT=flag-o-matic cmake IUSE=debug +z3 KEYWORDS=~amd64 ~x86 LICENSE=BSD -RDEPEND=z3? ( dev-libs/gmp:= <sci-mathematics/z3-4.10:= ) +RDEPEND=z3? ( dev-libs/gmp:= >=sci-mathematics/z3-4.11.2:= ) RESTRICT=!debug? ( test ) SLOT=0/4.7 SRC_URI=https://github.com/vprover/vampire/archive/2d02e4655e1b08d1ca9ee7c0aade40f59f046460.tar.gz -> vampire-4.7.tar.gz _eclasses_=cmake 44afbf15c35884f7c840470f1cf05d0d flag-o-matic 29a755b1291d64133634d80b0328f153 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 toolchain-funcs 1542e649be915f43f6908a9e93909961 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e -_md5_=cda28ae70783dd1ecf5e3abf81c4c02c +_md5_=8c5a74f6c33e467f1666e6c025dd0abb |