mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-22 21:43:03 -04:00
Code Issues Packages Projects Releases Wiki Activity

2022-06-06 16:32:58 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2022-06-06 16:32:58 +00:00
parent 553cb28c01
commit f944797b46
55 changed files with 369 additions and 141 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
metadata/md5-cache/sci-mathematics/minisat+-2007.01.05
View File

@@ -1,15 +0,0 @@
BDEPEND=app-arch/unzip
DEFINED_PHASES=compile install
DEPEND=bignum? ( dev-libs/gmp ) sys-libs/zlib
DESCRIPTION=solver for pseudo-Boolean constraints
EAPI=8
HOMEPAGE=https://minisat.se/MiniSat+.html
INHERIT=toolchain-funcs
IUSE=bignum
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=bignum? ( dev-libs/gmp ) sys-libs/zlib
SLOT=0
SRC_URI=https://minisat.se/downloads/minisat+_2007-Jan-05.zip
_eclasses_=toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85
_md5_=5ee99d765ed73fa21d20b6907782ed7c

15
metadata/md5-cache/sci-mathematics/minisat+-2007.01.05-r1 Normal file
View File

@@ -0,0 +1,15 @@
BDEPEND=app-arch/unzip
DEFINED_PHASES=compile install
DEPEND=bignum? ( dev-libs/gmp:= ) sys-libs/zlib:=
DESCRIPTION=solver for pseudo-Boolean constraints
EAPI=8
HOMEPAGE=http://minisat.se/MiniSat+.html
INHERIT=toolchain-funcs
IUSE=bignum doc
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=bignum? ( dev-libs/gmp:= ) sys-libs/zlib:=
SLOT=0
SRC_URI=https://github.com/niklasso/minisat-webpage/raw/e9dcbabbf5399d16ed4b09250307d1165a341160/downloads/minisat+_2007-Jan-05.zip doc? ( https://github.com/niklasso/minisat-webpage/raw/e9dcbabbf5399d16ed4b09250307d1165a341160/downloads/MiniSat+.pdf )
_eclasses_=toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85
_md5_=0153bacc67fea19361d2cfe0fbac3a30