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
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 2127 RMD160 976964843ab1c10bb5639df472d697ff1d8b597b SHA1 9d5eb7de1fc5505bb5e742e6d5b5b0c0c6f6e9ae SHA256 a41e7762c36f3cbb21b8849f756e930d6f7388ad9e8f35fec6686ca208885111
MISC ChangeLog 1802 RMD160 a24ae5183aeb91d4b07fecacc8d561b71b4fb37d SHA1 e3e72705d4a0cf5169b1521f8e6b428bd2d095d4 SHA256 ea6e0118bf67ddee057b4d1e276838df218d6a56f57bd793440afd0be164fa0f
MISC metadata.xml 330 RMD160 6e83685aa7b33c94cbf0ed0061eff516ee0541bd SHA1 9f4cb95419ec002bad3a371881805a974ba1039a SHA256 70118d36c9752da5de338182725e298062fec6056f02de207b023f0f109e2a3b