AUX cryptominisat-5.11.21-setup-py.patch 466 BLAKE2B 17cd196e3413ebe3d560b6839ca8ff4fc39a4505d009bbf511df183d1536d234e7358b9b87ae9319ec1a4cf95a52f5e7b09f099535f2552433cf35ed420283c7 SHA512 ed0d8c78b3baab0be6c934314152dbf0de7564f1e03504f66fd358d0b8283c488b84daf6fe0aa9f4af860cf5c208320ba2a34b590d3dddbc084bb44c4720983c
AUX cryptominisat-5.11.21-unistd.patch 253 BLAKE2B 7b1d2bff8cf5ab2af33d91c0a680b2bdd3baf129d529a87c86cc6fab8f5d35ca0d202635c03c00a42786a896b1071c4fbfaa76cab970e625744d89c3b2c62140 SHA512 f7748158a7402d140c5e6ce1326862bead4d23587341a997c63e7947de685e9c2a366781af6c661feb2e21fb82f7e6feb2c3cc7ab4f25c361ed41f0bfcb3726d
DIST cryptominisat-5.11.21.tar.gz 975459 BLAKE2B c1a8e274a5221584c7245405f6b617951528a477ae36680da293acc9e7ee46692a0a37c057749a98c41b7bc302a3d0b9de176379b8c9aece339c2aaa6b6a3308 SHA512 5a1ac51b27cc692c793831aba83cc71188f9c46abdef809fae9c830a2801e1c45310cf5ada1ba4e10cb11aba5efef6407a9f7f0506474f30bdd4a58bfcbdbef7
EBUILD cryptominisat-5.11.21-r1.ebuild 1543 BLAKE2B 5fc6caaeac2bebc9a7c3955cfd0775847494efb73036d2d76a7f556647868c4eaf4f7fa8c6d8de2e67d0caff0038fff8da08413085a791533129873c05b043c4 SHA512 f996ba638198328dccd8d1e2c944677a4698da21670e21c77eb582189ac4b740a60f384daff8c6361c360751c3519401731c063111f18f2bd57caf705603e44c
MISC metadata.xml 858 BLAKE2B 4543d51cedd7b5e5e8508c14dfae420360f9d76ada1b969d855ca2b17b2c967036b29a9f2769a2c78e736c1e449e2b079558cd7460a72d402e9f1ce029ba414a SHA512 e1b39d888ab6c09f8707a164c7f683831a908477b2c7f219f4c9f71161ba84c145836ca2b1665e200f15a6e2ff6ca6318bd16fc40d57ad9c64bd1a4e229fbabc