mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-11 08:03:16 -04:00
9a5a10a8e8
Closes: https://bugs.gentoo.org/842336 Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
3 lines
608 B
Plaintext
3 lines
608 B
Plaintext
DIST MiniSat+.pdf 320302 BLAKE2B d4cfec2ccdd8ae8381ab848427efe3a05157cb0ddd0d47e32b627d276fd2fcdb03e1de7d1741036437a2ccd0af143be1d3cc028ac07844ed14360d8e86b15bb9 SHA512 9d011fab434de2b121c03b88f068d374135e1fd248030a89b0a383b292801734bf7bd8c095d0c70377b7ee4a9c59dbab532eb9c41dc0092606d204b3f39237ed
|
|
DIST minisat+_2007-Jan-05.zip 920081 BLAKE2B 4b133a3c06ffe8539a26c7f39f4734d8115053df299bfcd002e97ea00a104abf326633120371560d71cf2700ed02be8891ef78c185f16b516da818269b1101c9 SHA512 deee0cce2882fad8c175c7ca061d7952a243d00119e8d7fcf9ed0260db874a2e5bb846cb9513aa43163735406aebf5cd8ac01000621e2db37da0dc5d5de3854d
|