diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-07-23 20:51:24 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-07-23 20:51:24 +0100 |
commit | fceabcd48faf4c890719a14ac4ed93b6b7993364 (patch) | |
tree | 509e41dc22637aa99b763e5fc14944d8e235c304 /metadata/md5-cache/sci-mathematics | |
parent | 674b648c65d37f018cecade7f66ab3162ed94a8e (diff) |
gentoo auto-resync : 23:07:2022 - 20:51:24
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 28561 -> 28726 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/vampire-4.6.1-r1 (renamed from metadata/md5-cache/sci-mathematics/vampire-4.6.1) | 6 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/vampire-4.7 | 16 |
3 files changed, 19 insertions, 3 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex a85a1bb55f18..701c37248e03 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 b/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r1 index 6e13c26cdd8b..8281b4584082 100644 --- a/metadata/md5-cache/sci-mathematics/vampire-4.6.1 +++ b/metadata/md5-cache/sci-mathematics/vampire-4.6.1-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:= ) +DEPEND=z3? ( dev-libs/gmp:= <sci-mathematics/z3-4.10:= ) DESCRIPTION=The Vampire Prover, theorem prover for first-order logic EAPI=8 HOMEPAGE=https://vprover.github.io @@ -8,9 +8,9 @@ INHERIT=cmake IUSE=debug +z3 KEYWORDS=~amd64 ~x86 LICENSE=BSD -RDEPEND=z3? ( dev-libs/gmp:= sci-mathematics/z3:= ) +RDEPEND=z3? ( dev-libs/gmp:= <sci-mathematics/z3-4.10:= ) 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 929e29d009c20f55b45c96866ebf47fe multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 toolchain-funcs 1542e649be915f43f6908a9e93909961 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e -_md5_=f3da72c91c07d0cbe2cb6c11b7d227cc +_md5_=270a59e900d64b1b5ce857ee6014ef4a diff --git a/metadata/md5-cache/sci-mathematics/vampire-4.7 b/metadata/md5-cache/sci-mathematics/vampire-4.7 new file mode 100644 index 000000000000..149315f427fc --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/vampire-4.7 @@ -0,0 +1,16 @@ +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:= ) +DESCRIPTION=The Vampire Prover, theorem prover for first-order logic +EAPI=8 +HOMEPAGE=https://vprover.github.io +INHERIT=cmake +IUSE=debug +z3 +KEYWORDS=~amd64 ~x86 +LICENSE=BSD +RDEPEND=z3? ( dev-libs/gmp:= <sci-mathematics/z3-4.10:= ) +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 929e29d009c20f55b45c96866ebf47fe multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 toolchain-funcs 1542e649be915f43f6908a9e93909961 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e +_md5_=40467d1448ed01e625196559fa50b49c |