-----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 2024 SHA256 cc0c28c0a2363b534dec99f04a2abf87ba26fa3883a59aa70d7ae2251a5d866b SHA512 5e1550768b1d53e48b4466d43d8aff7ae3ece4b73f7f33d9c143788e36586bc14443362d87d31ef89c3136a2ef67c494322b813ab383365e31160281f90f982d WHIRLPOOL 66286834b176699ba69a29ff7bd346ab1ef61642dc89287a17c5d978096914c4298a3e03fa96635e4a43e2e6016205ad0c89130c77fd0440023bc0120fdefc29
EBUILD minisat-2.2.0-r3.ebuild 2123 SHA256 d2a82eaffe9480f4c96403eb7246403cdc7a710bba88bc6af765f93e7e661dfd SHA512 a0ca53b487e707743051a126872a3b61127131eb777085e3cd0c671256bce95d550a35354e263d0f3dcb2edd926391f29c0c3c46056a7bd7fb7ffeb5e6a01601 WHIRLPOOL c20aaf3f80713cb003f010e8a02ec78fdb1065ab5c192ee8db44889220eadc517e446a38d821dc7a7c7e035b5795093325d081d707fb92144aa61242be0adbf2
MISC ChangeLog 2048 SHA256 755dba04a91cf19ee74cc317b16de162abd38df5887969688b8201a3964b0bd1 SHA512 3c781eb23c4310a6b58b1ad28fca3ae384825f728876853358cf1b83dd04b8710d35a9b69e9fce24b51988c016d1bc758ea14885dbd030cccdeb7ae815180b6c WHIRLPOOL ecae4fb62b9b3f35405a10056660c8871d84e0339e6d8f4dc63e239291a1877355955cde1d612b461327c8125f17c60a64a20d1a75dbee2362c208d9e2f0b903
MISC metadata.xml 269 SHA256 d09a51d3bfe227dd6c04f66a743be9c7d9564d7663af73d29f16d1263886c139 SHA512 c3f019b3c4d5f2883c78fc6a7ec821910639ba6fd24a92cc059ee1f396ac75b59f97a5f29ffa881f8008c723d2bf575313317205dda98ee96b19b36147348cbc WHIRLPOOL 6b5edcb58bbbf2229347c5a61b907e6402736add9a9bccd1e7c242ef3e5a6241ee35f48d6176b1bcfd74b40f4e8de1b9d0e25259405790b1b548bc0f0fe54bd4
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iEYEAREIAAYFAlPn1MoACgkQcaHudmEf86oO3gCeIdyyjLRZ8INl5VEn0yy/kbi2
lOQAnjR5LlZJpWtQwjgZY/9Wv7C0zqH7
=wEFg
-----END PGP SIGNATURE-----