DIST sat4j-core-2.2.0-build.xml 9458 BLAKE2B e23879fb3e85a8f96313e4e6eba48e785b5940f32e0f3195fcc6d8ce5c89156694e24c3afa065e39b2c72044acf21cf6d8c50a2385494187a84da79893f3ebab SHA512 ab09e0773adaf578e87503373b6156d42430270472c07159ad8246ae6c2f20c02447776c1b925fb0d4eaeed6dd3f7c3b0f36a5a410f0e22d2594b9b4deeb4d7a
DIST sat4j-core-2.3.1-build.xml 9458 BLAKE2B e23879fb3e85a8f96313e4e6eba48e785b5940f32e0f3195fcc6d8ce5c89156694e24c3afa065e39b2c72044acf21cf6d8c50a2385494187a84da79893f3ebab SHA512 ab09e0773adaf578e87503373b6156d42430270472c07159ad8246ae6c2f20c02447776c1b925fb0d4eaeed6dd3f7c3b0f36a5a410f0e22d2594b9b4deeb4d7a
DIST sat4j-core-v20100623.zip 383901 BLAKE2B eb24cf0eed64da1d86243339644ab031e8ceceb37d6379ec5cc88e983099fb1451a55f1ffff88219eba786f015d7df3dc40284214675a0388371d6f878d3f317 SHA512 60020df4cb07a1498c3e77463b9f940a65de98de995d9f3cc0308133e264d891de4d835bf4dd28c09da34b758e4edf4a28b661805ab85028a4cb6a519e128276
DIST sat4j-core-v20111030.zip 443396 BLAKE2B a3940480f41fc43707d5d348db30c56488deef8a7b45a1d44b6e5e84c807f41a472da5c2a15bad08c0392db2f772fc433188ea9040033fa3e6cb6b103e4a8ce5 SHA512 bb54221f70b99fb32786e37b6ab58e78cb353d8b614b76c7ef8898d0f0b2ec94f800e13f58712f994644cef24bcdc30a8ee76a513ca01db94ddb9fbff06e1550
EBUILD sat4j-core-2.2.0.ebuild 1385 BLAKE2B fa6bc9d54618d3fae13bcd80ec2503a3709a5a4f266312d7447e94d78a443af878ccd2db37181b188ac47fd1f74c903f405ff6d554d72898466c0f2094ad3369 SHA512 36ae4e71af98bad416020af6bbfa9eb42341271a2498890788323f44cc4ed3c00c82867ee558d9b945e828269d73ca7245fa1bdff53a8bc1ce997483f8f56c48
EBUILD sat4j-core-2.3.1-r1.ebuild 1387 BLAKE2B 986501c6dd042fe8da6c4c2c35e70d9db9cead1b0850ccbb9952b680394ecbe78b38bcc56c8cccd4e859c9df10520470504c3ce0e9083e79061654194df957eb SHA512 0ac619c5b750b8e33872cc83756be62e7c160cb1886e578bf4e683e6bb217678149bb6aa75041baef5e92d2e145152d5569de77d0449138beb1e675cf1b7dab9
MISC metadata.xml 236 BLAKE2B 5a64c4404c26415501f50132968e687d4f1b852738cb0e1a5aef8cc4de9e4ea623066f46068fce3d80514ff122d85304e3fd12282c4b1513a4084523ef8bef07 SHA512 1755c2590e59060f697294c5ad125b83f2d50e05a71f7091b7de75953941914cd2db3a893bd6154a2c90fa4aff5e313e75e3e174dbba1edd5c112787da5be253