diff options
Diffstat (limited to 'sci-mathematics/minisat/Manifest')
| -rw-r--r-- | sci-mathematics/minisat/Manifest | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/sci-mathematics/minisat/Manifest b/sci-mathematics/minisat/Manifest index aa7a055254ce..4390af393f7e 100644 --- a/sci-mathematics/minisat/Manifest +++ b/sci-mathematics/minisat/Manifest @@ -1,8 +1,18 @@ -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 +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +AUX minisat-2.2.0-header_fix.patch 3879 SHA256 edcfefe00d39997e5c553ad583aa432315425d321af9fb5a56c530862482a50e SHA512 1a8a00e1a049dfab2c7041043ebc47eb09cac38c634c9fc54725fd262d24ef1f49dd445f2330122623d6464effd2755c36e7d16b3d5681a31ca1da0fcf9491b0 WHIRLPOOL 08b5336d0e9032783f2f174c99697ea407efbc4ce7d2a31ebb35544441e02851ea395e32b01d3c10125764f57374c69ad49643ad8700218382b6882607bc87a7 +DIST MiniSat.pdf 327416 SHA256 53197dbd783c924a2627d75e305706297988494265bd5e5ec873840e5d797ac4 +DIST minisat-2.2.0.tar.gz 43879 SHA256 92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808 +DIST minisat2-070721.zip 48776 SHA256 ddc2ed421a538a349ddab58d3958076d73813925ff08361e6292583d3b87248e +EBUILD minisat-2.1.0.ebuild 2026 SHA256 243fea1569070e812331a39c47df4c6a9511fc65d9855cc6066837247aad7d46 SHA512 f96cf3def42f760821ef50ba1c69dd75313f043321e2af373b49e4584e31faa4431f88033254845fb4481b0bce8f0d6d9d976446c296ec0f59d19fb1a19d219e WHIRLPOOL 68c2d4d470265845bdc3ab75f5eb37c3c4ee3593664932f50dc1e66b7f0c701c8d97b95612be99e3bfb945197bb190d44481f89c0bac2bf87eac554eb4b23daa +EBUILD minisat-2.2.0-r3.ebuild 2127 SHA256 a41e7762c36f3cbb21b8849f756e930d6f7388ad9e8f35fec6686ca208885111 SHA512 af499c9141c1917956022d656353f9b089a4f2914e68cceb0a084955328e38b5a05bc4b1319f3b7479081693d46bff9747ea78d644c85499b73db8734e38de82 WHIRLPOOL eb601c76ffa70741dd91587c700faac8c2bb29f1fff6ff37d6add017251b10db30dc3dfc80628b64b0cd4bc92c1a646422ba152d886ea6baf7c957aee14118d2 +MISC ChangeLog 1902 SHA256 26b1365df9843f27aac16fb8c419934688b87306ad250c9314ab535f5e726208 SHA512 4f562e890b411eb1eac2b0bcd99e0aa55b1f694f491c04eb9d5f87e9316e697d9f3b2fc5e7b70c7e88187f12c5618ea2a81da6dd562289cd1628b2e9b32ba602 WHIRLPOOL fd86ce60bc646677b68ec2284419a5d3ba3df73694db4a4c3bbf2dcf7c2e49aab659b23e04c340fb66b89b9efac3c59cc29292628ae5bd0dc53b7114faf8e996 +MISC metadata.xml 269 SHA256 d09a51d3bfe227dd6c04f66a743be9c7d9564d7663af73d29f16d1263886c139 SHA512 c3f019b3c4d5f2883c78fc6a7ec821910639ba6fd24a92cc059ee1f396ac75b59f97a5f29ffa881f8008c723d2bf575313317205dda98ee96b19b36147348cbc WHIRLPOOL 6b5edcb58bbbf2229347c5a61b907e6402736add9a9bccd1e7c242ef3e5a6241ee35f48d6176b1bcfd74b40f4e8de1b9d0e25259405790b1b548bc0f0fe54bd4 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.19 (GNU/Linux) + +iEYEAREIAAYFAlBxR4QACgkQCaWpQKGI+9TURgCgg+XAsHRzUYVe5JciBZzBvwFY +DxUAoIiVUIeq2jZcXofma4TNwZfOjEby +=WVBW +-----END PGP SIGNATURE----- |