AUX boolector-3.2.3-cmake-std.patch 350 BLAKE2B bcdc394f1f1c9ef17605f0c12c2279d7842a4c106d70132760ed7c3fe215d41ba25551ae18e9d29f5697fb2c7546cef96b3a1c3ebb5b79da6c6ed4ada98d1dbb SHA512 6345feda413d4959cd95af0708f522d3569bea66ceab524b6f2378e473f1a64417b5fbcfbd865c10c14c0dfb0cd11c585db6ffa7c79d930b90aaf47693d47aa8
AUX boolector-3.2.4-cmake_minimum_required.patch 316 BLAKE2B 0063759b217caab374d4920e9747fd3361bc8004fb6b3a49efb2759246a117e54d8be37f5944c596e668302807840adc282bee450d7947d69817e330f5164f1c SHA512 e5dd9d51bdb0f2dd05275a60d2bb654abba6b70e1126ad50ce07f3745af580c9c30f8191be85dd837b62e0cd8fb4a27bd62bd9a216bf389d7e20547fc7c82c6a
DIST boolector-3.2.4.tar.gz 1567983 BLAKE2B c74e6b7be2931ae164b3cde5ff3c9b60b12ad49b4be23ddb2931f5a71ffbfb5bb98a29ea46780275414bbe2e3e65b6108e489254251f8fd820a89162dc6eaae5 SHA512 57ba34264abd1d4350403b45995b040bd792dbea7d07a1c64d067ddbddeb3944d8515ce667ae4ffef70d35b5be68cfc5938acd6a8a7b242a09f218474024b821
EBUILD boolector-3.2.4.ebuild 1964 BLAKE2B 22afb18fd5006f777a2419e7c708f9566baad901478fbfa6c6fa32d39fc8e0e04fb2dcbb9c561261ad4c3e32c80d9e1d0378d9495f56d56e2ae71b2c6079933a SHA512 e1c88d76360f032265b80a662451922ae61b2d1b439db415f952ebf203f715cc3110d6f82192667f4ccfe530248da8db59a0ae23844152bffb8fde2e7c97189d
MISC metadata.xml 1245 BLAKE2B a04e1e5a6af857100b8b569f57f4d2610593e9eb741513e4e6405a8fa9828471b92aaa1ad57a3163dc2f251b5664493692f92477b7191621ff8fd76eed9f57e7 SHA512 81257f7be3b21bf10caad654d5747ef2d978c0df5a05049b890420e2d170b7a4fa06151da0604a8b1b6e7daf2fb01344003c9243205a94b4040c580beb414836