summaryrefslogtreecommitdiff
blob: 4390af393f7efd7f9f3c1bf6e9216c68c0318e8e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
-----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-----