diff options
| author |   Gerhard Bräunlich <wippbox@gmx.net> | 2016-09-09 15:39:34 +0200 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2016-09-13 10:03:21 +0200 |
| commit | cea4776ca601ecc574478b3ec3a4d7e014e2e710 (patch) | |
| tree | 35c42eb4066a44e28445d80f1b14688b71a69b7d /sci-mathematics/minisat/Manifest | |
| parent | sci-mathematics/minisat: Unsiliencing makefile (diff) | |
| download | gentoo-cea4776ca601ecc574478b3ec3a4d7e014e2e710.tar.gz gentoo-cea4776ca601ecc574478b3ec3a4d7e014e2e710.tar.bz2 gentoo-cea4776ca601ecc574478b3ec3a4d7e014e2e710.zip | |
sci-mathematics/minisat: Adding minisat-2.2.0_p20130925
Package-Manager: portage-2.2.28
Closes: https://github.com/gentoo/gentoo/pull/2282
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'sci-mathematics/minisat/Manifest')
| -rw-r--r-- | sci-mathematics/minisat/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/minisat/Manifest b/sci-mathematics/minisat/Manifest index 12aa8412d0b2..8b3908e426b3 100644 --- a/sci-mathematics/minisat/Manifest +++ b/sci-mathematics/minisat/Manifest @@ -1,2 +1,3 @@ DIST MiniSat.pdf 327416 SHA256 53197dbd783c924a2627d75e305706297988494265bd5e5ec873840e5d797ac4 SHA512 94e70c721740c0b7fd52621c7a5e43dd9207eed92e60a1c64ee63b541b9861d2580d14ba64c49c6c4f273ac028ded43bc944c71131e51693cdd7d1763af582f6 WHIRLPOOL a087d8929476fc33464d19432fc05a01797761f695b81c0aa6d35270731b00dabe2402ea2cfd705b49d5d6664a3cbd46bc60147d60934acdfc94a33066316185 DIST minisat-2.2.0.tar.gz 43879 SHA256 92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808 SHA512 cf79b05d43ebdc8fd8081899a1f853370de051cafe6e5b143eaff9827efc542b58062782a3ce2a3d1a03561a9ffd780c9cdc645bb50036eb61e80fa729136e64 WHIRLPOOL a5117e7bc81aeecb6fa34d8e2dea70b379d9e3463957e7029c80957ff3bcdd3107a99fb0dabfe59b57bfdb16ed51a0a4781c8dbf8e3f6f225ebd5035c1a9ff79 +DIST minisat-2.2.0_p20130925.tar.gz 49544 SHA256 3db05b02f91c4b097b7962e523225aa5e6fa9a6c0d42704a170b01b069cdfcfe SHA512 37fc35cc4f3104d7f0e8ee9f7123fc34e175df578658266799d809d71d6cf081e811919f304a02f6cb9c3827d308e59408149d63d1d1e7c6d0b495350f93b3d9 WHIRLPOOL c976fabadb2149e15260025646e465d7422ffb9fd35e37263766002462de7b8d16db031aacb1458467acd9957eb370894d39ea3a7ddc5c98627f84b0a08b7820 |