AUX cadical-configure.patch 380 BLAKE2B e9fd63e663811a2a067b9bb8bb05604dc5b0fb02068a04ed1f80ad7b40e3aa8981c47ad7b80475e758e6c2e44b17b175c3a793e256185d28e0029a78473837b9 SHA512 9b82cd65257253ea423df6fb711bef0d5a8fbca48dd86fde5433b0dd377bfa9778ba3141b36560d13ceb61a4df305b818f11f3a72a483a02b3b3859299d6d830
AUX cadical-makefile-in-respect-ar-2.0.0.patch 363 BLAKE2B 75e3af23e2122f638f7d8064517c8f4d20bddc3663c9d985fa6509df49cd0c3904ac05ecff779800e3b63c413c92e95a15618c713531492e32c845e2a1160097 SHA512 33650ff548f77aa83a613211d3a810313ab347dff4b17f0c9ca274ec31d94c54ac9ae1fd96f581d0683a0c6f84adee3d275aabd9c805738c99f7b197029f3108
AUX cadical-makefile.in-ar.patch 323 BLAKE2B 226618745824824d8d7ccea53a3435abed9f829ca8462994fcdf805b7e5ba18a571214a16fbb2fcaeb0c91683424402e0a3c8dd05cd8f8dbdec19ed30aa023eb SHA512 30427fb87ef6aef56b9aebc3b2e0981e79c680c73dba20d371364d1b3668b51f1cbba4b6c7467ffb979245488b8ca1f2251a6321db4991221051f0c4b8e6a4d7
DIST cadical-1.9.5.tar.gz 691268 BLAKE2B 68c7fcc35ef0ad5082d5bbc828363ee45c2e637f281f1829ffb34047fff73775d34615e0ac37b8b49ff20b941db85b72c0dd6de0ab5ec5a690fd80fb5489b212 SHA512 b40727847ba0217f8d24e5468874264065c5ec9cbf0600d2e2395b8396a9d5f892127018ab9d1b930599a16a0817de5b0d29136c5dc74f2a72fb0f726e825271
DIST cadical-2.0.0.tar.gz 709136 BLAKE2B 76b738aef8063b96b11098be132bd9921cc6e4f39efe4c14916e1b9fb9517f464771a8f4fcc116a1a37fcd44b71513bb94516b3c81699f4d5417dde0e69ddb0c SHA512 5ec4d43751e36844afcfc9102e71a2fc1e5b1112506eb654e3aef7f2ba425738264b73b88b0400ec15222c8a9d2f4d37a1f60da69a0c061303904b7ad0a93885
EBUILD cadical-1.9.5.ebuild 924 BLAKE2B e6b270b6bc43135e03fc1241ab4ef82283807dfc4291a259d7d609ecdaed3130a72d6daae8e15bac5304ce3e032341072e2b039bc560639893b6dfd203ee49f5 SHA512 9faeb81db5667c7e334a5300b42f26b540dc465271bfda34926ab64e871fe9ae7d2f700360092bac375b81e25bd5acad447a80339aa828075f84f8ac4ea0ffe3
EBUILD cadical-2.0.0.ebuild 1023 BLAKE2B 42859af3d50f8cb128f5b562c92fb06f43751a1e551d41249ef43a70f153fdb0bc28dc77d3e75cf387c6c678279c40dfeffb4b0bd967e4e8231f03aaa36fde6d SHA512 185753df1c3d5530fa480fe5b8d9e5090422fa03b9a0a2ad2a1b0c914479ff70c02ea6d7545c8c328a03da29a6c499588d1737ac5a03855e4f1ac231ed855ff3
MISC metadata.xml 613 BLAKE2B 6d7e0c1b5eae3803aa0981b195457cdcc6d2ffa2af655837e615da6ed6914ac5bec7a831ced6703ff67476561cf67139ea5519d98cdc2bd8d5781108496046e2 SHA512 b04ad6ae6e2626cea18049e3e20eb227b5580853b8ad77179ea693ed61f12d042b7ea505eb8cfafaa0121564ab0a4b6c7dcdf84f78fa2f47c465e6f61fb1a3f0