summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.11
diff options
context:
space:
mode:
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/cryptominisat-5.11.11')
-rw-r--r--metadata/md5-cache/sci-mathematics/cryptominisat-5.11.1115
1 files changed, 0 insertions, 15 deletions
diff --git a/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.11 b/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.11
deleted file mode 100644
index 9ad30edf41cc..000000000000
--- a/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.11
+++ /dev/null
@@ -1,15 +0,0 @@
-BDEPEND=>=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5
-DEFINED_PHASES=compile configure install prepare test
-DEPEND=dev-libs/boost:= sys-libs/zlib:=
-DESCRIPTION=Advanced SAT solver with C++ and command-line interfaces
-EAPI=8
-HOMEPAGE=https://github.com/msoos/cryptominisat/
-INHERIT=cmake
-KEYWORDS=~amd64 ~x86
-LICENSE=GPL-2 MIT
-RDEPEND=dev-libs/boost:= sys-libs/zlib:=
-RESTRICT=test
-SLOT=0/5.11.11
-SRC_URI=https://github.com/msoos/cryptominisat/archive/5.11.11.tar.gz -> cryptominisat-5.11.11.tar.gz
-_eclasses_=cmake fc2f89084f590ac95c004ea95b0d2f80 flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 39e7a84b06eff4efd9f2e0c3d1668b98 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc xdg-utils baea6080dd821f5562d715887954c9d3
-_md5_=b04719f6503ffc054556a0170f751adf