DIST sat4j-pb-v20100623.zip 487925 SHA256 58f6afd05c3bdc81314bf34ef606e2323a27ef8a942312fc88fce757afbdf8dd SHA512 6aba2438070a3060fc26229fee1e30f8cfd37f2699c2ba28c4b7071fde2ad9be6ad22138b0e6beb7409b7eb57d3c44733c440ba2cf0ea36c7ea068e411a1a2e8 WHIRLPOOL 345ea01f5b5051a860c89e9bb77becbcd4b81997d688acc5363ee32006144331dd46e8ea557c3c8a191d077f5c1cd439034b8933e3670b8f470546227857e423
DIST sat4j-pb-v20111030.zip 650535 SHA256 79ea72ef37fde854177345c4f02f9efc123f60590b183c61b1799ad7b28825fd SHA512 ee27501e8c4efb3cf960278fdca0111442e14edcf303ffb9adea2c0e6b5dc7dce2df0304ea1aa05a1b00000478f9283230c7594325195be557a7bb459250fd9a WHIRLPOOL 430a9acc193bd88f41e4fbc0e2361fb8bfaf384ea7a7f3cd1a65b74dbb0131e172d0c98f84751c4d11134a7133b9e3babbf4ce589b5d7db3339c4e828aa9e1e1
DIST sat4j-pseudo-2.2.0-build.xml 9458 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8 SHA512 ab09e0773adaf578e87503373b6156d42430270472c07159ad8246ae6c2f20c02447776c1b925fb0d4eaeed6dd3f7c3b0f36a5a410f0e22d2594b9b4deeb4d7a WHIRLPOOL b57e3e77a74b9205fec29a57ea4ce13b34d7f8891e01b3b7a928b2f009f49e58ca2c41f258bf34019f8e57f0e243bed8be26f9c4f0070458ebd7330351cffe55
DIST sat4j-pseudo-2.3.1-build.xml 9458 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8 SHA512 ab09e0773adaf578e87503373b6156d42430270472c07159ad8246ae6c2f20c02447776c1b925fb0d4eaeed6dd3f7c3b0f36a5a410f0e22d2594b9b4deeb4d7a WHIRLPOOL b57e3e77a74b9205fec29a57ea4ce13b34d7f8891e01b3b7a928b2f009f49e58ca2c41f258bf34019f8e57f0e243bed8be26f9c4f0070458ebd7330351cffe55
EBUILD sat4j-pseudo-2.2.0.ebuild 1718 SHA256 9383fef0a77d0c1fa92ce3bff41f54993ab080698f39d798a56a444e631b2fa9 SHA512 2df42e1a8e3d3d714c61a7fa44995dcf49cf6f3e1692c306140d20e75be2457df6539259b0dde19c86bba150fb3b832102d899e232044cef0a2ec362ebf16ffc WHIRLPOOL bdc23b963367da331dcd86d088339cb61f78bd551a7e686c0fd0ab553b1794de1b181c8c416cc6c756c6c925bdcdcaf6c5ec3b2a0b27098f747ceb6d0c86ae2b
EBUILD sat4j-pseudo-2.3.1.ebuild 1726 SHA256 675a1af57e92f63909b4710800aebe4d30f0e2a970f64ef143bf3f1a3819b1c0 SHA512 e86b6f6d75a4b368bcdb18e092d9f2a63066081dbb2cf516c76a422ee2b3c1e5fca5429ae5128a3631a12d11f67e87c1b1e81fbc90531c19aeea222af63262b8 WHIRLPOOL f78350e031f343276783fad604f58e8ffcf933531d0426b7b9d1606e23f80a4141de80ece62993df9f8cccb2a96a1740da0c1aaf33a7bba085175f2196a16d7a
MISC ChangeLog 1944 SHA256 d3b80648eaaa5f099aacd4811725eebde7b698f7508f7d566f5ec3a0a993ba9b SHA512 cbd155c153956d7c0ee1bada2d9de6e89764d1ed1e176607197f1a8a11b68fa1ac8a6189b4049bc7e2ab17301e03de1c6904aa776256cff5ffcb0ee63116a0f8 WHIRLPOOL e1ec739681c599e46953e864de07caedab41cf88dc9145a2bb4952f2698249ec862e9daf0b9f9b091d392b16eff6712a4c85e5f87c8c355ec7afc007175a310d
MISC metadata.xml 159 SHA256 1c070a909e96d9d193f84ad9304d196febbe33b60a724cc4b0d20634bb82255b SHA512 269cf19c37f2d136b926f546ec83ffdbc1374b2b6e26f8a31f21854143380386c31bfc7b2a0b9c47fb1f7c02607ddbdd43e517cb5c3270515e465c4dd7788843 WHIRLPOOL afb402fec04cddb3184b69eb8a8d36b404edd2870fd06c8f5e99be39c341ea6fa7542e0b680fac05529522ed33838e8279381d7a6de9dbc58fe55841229d8a51