diff options
Diffstat (limited to 'sci-mathematics/minisat/Manifest')
| -rw-r--r-- | sci-mathematics/minisat/Manifest | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/sci-mathematics/minisat/Manifest b/sci-mathematics/minisat/Manifest index b137a33fff0a..72a73738b36a 100644 --- a/sci-mathematics/minisat/Manifest +++ b/sci-mathematics/minisat/Manifest @@ -1,5 +1,8 @@ +AUX minisat-2.2.0-header_fix.patch 3879 RMD160 f2df0189d8116c9ee7bc2a4d7640d4f7faf136b8 SHA1 ec90558ece8fdccbe37f08675f31e19d449ddebe SHA256 edcfefe00d39997e5c553ad583aa432315425d321af9fb5a56c530862482a50e DIST MiniSat.pdf 327416 RMD160 3b611bf17b2419525303527f93ef06bb3bb9d93b SHA1 8c17a48b2a93780d56bc2a3da5ddf5b9fce3572a SHA256 53197dbd783c924a2627d75e305706297988494265bd5e5ec873840e5d797ac4 DIST minisat-2.2.0.tar.gz 43879 RMD160 169ec9116befa9067db9076d26309f7e9ab408dd SHA1 dfc25898bf40e00cf04252a42176e0c0600fbc90 SHA256 92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808 -EBUILD minisat-2.2.0-r3.ebuild 1836 RMD160 545803a90a4e379da8cadc58d43aa78b6abc5e59 SHA1 0b50ce0a7723c0f310a02224de656bfc94fee6b6 SHA256 74a46c456f7cefdce2aee37acf62ad3e39ed48d31ea3947232c220d335a7b253 -MISC ChangeLog 1459 RMD160 93de0f7528812e6ca61c959d386bde13e19d95e7 SHA1 eafdf35e3bae7f5a06acc034ef580ffb50333333 SHA256 8c18bfef71cd215bb9c2a83926a8e07e6bb62ecd540b1dd8e55de5c8fa646992 +DIST minisat2-070721.zip 48776 RMD160 a04236122afc4fba40b6e54da34b1b0d2ef4eda4 SHA1 cb4a58f8a8192a65b1b944c4307afdf029d51e1c SHA256 ddc2ed421a538a349ddab58d3958076d73813925ff08361e6292583d3b87248e +EBUILD minisat-2.1.0.ebuild 2026 RMD160 f4ff962d5e44d495ec70ef6d8b0a9b55d8db12b6 SHA1 77ab1e0e518104f3eb6fdacb16d6cbfabf731fc3 SHA256 243fea1569070e812331a39c47df4c6a9511fc65d9855cc6066837247aad7d46 +EBUILD minisat-2.2.0-r3.ebuild 2124 RMD160 83b0961157c643c935f39facf54c0554550df9a8 SHA1 296e800dfe7b9e455661656daecf78b968c05590 SHA256 0806eeb391339af960dbfdac58341c43cc539918603938246c521463c297efb6 +MISC ChangeLog 1802 RMD160 a24ae5183aeb91d4b07fecacc8d561b71b4fb37d SHA1 e3e72705d4a0cf5169b1521f8e6b428bd2d095d4 SHA256 ea6e0118bf67ddee057b4d1e276838df218d6a56f57bd793440afd0be164fa0f MISC metadata.xml 330 RMD160 6e83685aa7b33c94cbf0ed0061eff516ee0541bd SHA1 9f4cb95419ec002bad3a371881805a974ba1039a SHA256 70118d36c9752da5de338182725e298062fec6056f02de207b023f0f109e2a3b |