diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/picosat-965')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/picosat-965 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metadata/md5-cache/sci-mathematics/picosat-965 b/metadata/md5-cache/sci-mathematics/picosat-965 index fec103820576..b28018f22e66 100644 --- a/metadata/md5-cache/sci-mathematics/picosat-965 +++ b/metadata/md5-cache/sci-mathematics/picosat-965 @@ -3,9 +3,9 @@ DESCRIPTION=SAT solver with proof and core support EAPI=8 HOMEPAGE=http://fmv.jku.at/picosat/ INHERIT=toolchain-funcs -KEYWORDS=~amd64 ~x86 +KEYWORDS=amd64 ~x86 LICENSE=MIT SLOT=0 SRC_URI=http://fmv.jku.at/picosat/picosat-965.tar.gz _eclasses_=multilib 5ca4e49abed8e3a2f7b56920eadee157 toolchain-funcs ec8bbc28394c7305b43ea07164bd8f5f -_md5_=dc64bf57a14766edad01558bbbece1af +_md5_=020c680ffab3eb612893313e9df2a624 |