diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 b/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 deleted file mode 100644 index dea1ede5314f..000000000000 --- a/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 +++ /dev/null @@ -1,17 +0,0 @@ -BDEPEND=>=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5 -DEFINED_PHASES=compile configure install prepare setup test -DEPEND=dev-libs/boost:= sys-libs/zlib:= python? ( python_single_target_python3_9? ( >=dev-lang/python-3.9.16-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) ) -DESCRIPTION=Advanced SAT solver with C++ and Python interfaces -EAPI=8 -HOMEPAGE=https://github.com/msoos/cryptominisat/ -INHERIT=python-single-r1 cmake -IUSE=+python python_single_target_python3_9 python_single_target_python3_10 -KEYWORDS=~amd64 ~x86 -LICENSE=GPL-2 MIT -RDEPEND=dev-libs/boost:= sys-libs/zlib:= python? ( python_single_target_python3_9? ( >=dev-lang/python-3.9.16-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) ) -REQUIRED_USE=python? ( ^^ ( python_single_target_python3_9 python_single_target_python3_10 ) ) -RESTRICT=test -SLOT=0/5.8.0 -SRC_URI=https://github.com/msoos/cryptominisat/archive/5.8.0.tar.gz -> cryptominisat-5.8.0.tar.gz -_eclasses_=cmake 7fb5980de96325cbab639f5b2187357c flag-o-matic 514815b1cc0dd4aeac177c2e812b3b1a multilib d1408425c7c4a7669b9b17735404b693 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 429bfd4e8d8e39db5385ba5744f30788 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=624cfe2abfd6cfc30a583ab0bc97dfea |