AUX cryptominisat-5.11.4-gcc-13.patch 216 BLAKE2B eac9f21b7e1e4049c27fdf4dcb19ec7aa1a7c0da5839cbb4bb54c20a00c41be0a101f280ba1a881d2529e7c36fe27abb94ea3b4e600d8212ec011abcbcd2fee6 SHA512 b13ea41b6a3a22ed6a171689a40ca4f9bae242f6013d334952776ff66517916960df4a962b55a5e1deab61de8e8a3c973d3c02c2b5e53aac1405a101c5b9e71b
DIST cryptominisat-5.11.4.tar.gz 1044845 BLAKE2B b6df4e61c5f37d24a61a5c782f08f223c413e19fc2b1625718f7d19d4df8f4d955a92ae447f6c98889927ddc7407b4790092086996a0a32879c7dcb614ca1024 SHA512 8593848c468a6b1ac3d9ae343384aa323fb6ddc17802c9b184c178b9a41314c463b1c5f02ffd19d6e844894c7998e41d6e9b808ed70dcc235aa595607f52bc76
EBUILD cryptominisat-5.11.4.ebuild 812 BLAKE2B 772e5bf7985032fa53ecf5e40e9874535baaac95dbecbc3a5435c2a3f2af85d8ceb83979ff20d6a18a6b05eec525365c74f477edec7cf8a2f4d0dd3e34a70957 SHA512 d05b7762282bd018411a19acef297d876f2e0e57813d7747bfb294881844ffec57695a69f025dcf951a2255d95bf94e6ec9a436b19df0a51ce28d0105c38cf0c
MISC metadata.xml 858 BLAKE2B 4543d51cedd7b5e5e8508c14dfae420360f9d76ada1b969d855ca2b17b2c967036b29a9f2769a2c78e736c1e449e2b079558cd7460a72d402e9f1ce029ba414a SHA512 e1b39d888ab6c09f8707a164c7f683831a908477b2c7f219f4c9f71161ba84c145836ca2b1665e200f15a6e2ff6ca6318bd16fc40d57ad9c64bd1a4e229fbabc