AUX cadical-configure.patch 380 BLAKE2B e9fd63e663811a2a067b9bb8bb05604dc5b0fb02068a04ed1f80ad7b40e3aa8981c47ad7b80475e758e6c2e44b17b175c3a793e256185d28e0029a78473837b9 SHA512 9b82cd65257253ea423df6fb711bef0d5a8fbca48dd86fde5433b0dd377bfa9778ba3141b36560d13ceb61a4df305b818f11f3a72a483a02b3b3859299d6d830
AUX cadical-makefile-in-respect-ar-2.0.0.patch 363 BLAKE2B 75e3af23e2122f638f7d8064517c8f4d20bddc3663c9d985fa6509df49cd0c3904ac05ecff779800e3b63c413c92e95a15618c713531492e32c845e2a1160097 SHA512 33650ff548f77aa83a613211d3a810313ab347dff4b17f0c9ca274ec31d94c54ac9ae1fd96f581d0683a0c6f84adee3d275aabd9c805738c99f7b197029f3108
DIST cadical-2.0.0.tar.gz 709136 BLAKE2B 76b738aef8063b96b11098be132bd9921cc6e4f39efe4c14916e1b9fb9517f464771a8f4fcc116a1a37fcd44b71513bb94516b3c81699f4d5417dde0e69ddb0c SHA512 5ec4d43751e36844afcfc9102e71a2fc1e5b1112506eb654e3aef7f2ba425738264b73b88b0400ec15222c8a9d2f4d37a1f60da69a0c061303904b7ad0a93885
DIST cadical-3.0.0.tar.gz 885834 BLAKE2B 3b3fc5c52a45cf4094b6a6e20d394bb2dcffd7933f0b3a7c3fa6fdf28e2138191a4f678a0eea8416380762c5cd16478de91a26dbc93a487426f55431cd3e9313 SHA512 df0149ca658d55a6c0dbd6209ddf21578ccfc2142eae76847302a7fb9716d25b1ca4ead7cc79cf5d63f0e71538aaa0d94863c0bb3c77a0287b78bf15316eec56
EBUILD cadical-2.0.0.ebuild 1023 BLAKE2B 42859af3d50f8cb128f5b562c92fb06f43751a1e551d41249ef43a70f153fdb0bc28dc77d3e75cf387c6c678279c40dfeffb4b0bd967e4e8231f03aaa36fde6d SHA512 185753df1c3d5530fa480fe5b8d9e5090422fa03b9a0a2ad2a1b0c914479ff70c02ea6d7545c8c328a03da29a6c499588d1737ac5a03855e4f1ac231ed855ff3
EBUILD cadical-3.0.0.ebuild 966 BLAKE2B 1f25d785519da39591291ac71228b1415685ceb6113811757eb0adc91afd637f2b5650e9628c0c9bcb7dc6658cb1d18cbeaa5e7090c0f35c2525b45652e38175 SHA512 59c72c5c20d2351fbc1c91dde5eb88d80401b200f083ffa8993f54e58e94350eb54c00e31893c52887d49b2ffcc853ad4fb33b7f23bdf51f506cbdb924955296
MISC metadata.xml 613 BLAKE2B 6d7e0c1b5eae3803aa0981b195457cdcc6d2ffa2af655837e615da6ed6914ac5bec7a831ced6703ff67476561cf67139ea5519d98cdc2bd8d5781108496046e2 SHA512 b04ad6ae6e2626cea18049e3e20eb227b5580853b8ad77179ea693ed61f12d042b7ea505eb8cfafaa0121564ab0a4b6c7dcdf84f78fa2f47c465e6f61fb1a3f0