AUX cvc4-1.8-bash-5.2-fix.patch 1092 BLAKE2B 3a637ffb59bcfd6af253d2c7b2964025f66c7bb074e2bfecb21b26399b9582fa3b4cc1c89b7a773bd37f39fcfa79d7cb8f9535fd724538b6cede38c3e964e242 SHA512 a0c51df4013bae3b5990972f39edb9cddbf6f627dec4533b697546e27056b88aa54aa2714e97a6cf8ba8262f86feac0cbce47192527928e652ae7ff2e27dc777
AUX cvc4-1.8-cmake4.patch 674 BLAKE2B 2f358078ec18a8b7616ce44fdb466281bad54c84686fe7b3627eabb94289c2ec8fb9d0a93113857cdb78406e656e7a5ae489ffeb0a4388f737c7ad76031e8917 SHA512 d459733a42bfae9f3af546a60186cd22d1e2832756a072db74b2e83b975b214934c9b42525b37a0ad4073c6b1c28c6581dde51569e4f5e84c6f66ac0cf7144c7
AUX cvc4-1.8-destdir.patch 771 BLAKE2B f0aa04a94ee2fe69e5762ccc532de27043973284a5e01d02fc1aa783e1818a19827e179ba8f2ae4e6031e84ee68af43db5f12407607635b2726cb9f9debb04c8 SHA512 d9b97633a548871d7a926be9ed586a5c739e0e5b0edbbabde84e01c3b15c7b65b4498dd7d6855d9e8610cafa0a5d83823aa853dd8959667f4b85c40152b07faa
AUX cvc4-1.8-gentoo.patch 896 BLAKE2B 69530243e455b332ddb1527b54175b76cbb6ea3df0ecc0b6dd456d42b9fed8c678daf1314e1d0267e6897a952eb0acb95e6fa9951fd03512b094112ef68f8166 SHA512 ae5caf4e3e418a647c801a9c8ef7aa0a12a5ef12e9bb7925bd345b048c68eed996127a18a2ff7b2807385fb99cfae4b997821d5ba875e73773187a8d5b73a9ac
AUX cvc4-1.8-gnuinstalldirs.patch 7433 BLAKE2B 7b0774897a0b3bc55cd214481be08073caf211e238ca24abe7b08adb33158d8044a9a973ec24cbf58a04ee78ef9bbe26bc119ab5ac9f5a012aefc1f63f3954ff SHA512 0bf9b36477a8192682904d849a3427cc7330c6e56e5389a22747011405e6835153ae909844b0e4631697aa7556b2d48237b546b6ae927902d4f5eb1f7500470b
AUX cvc4-1.8-musl.patch 3734 BLAKE2B 892dbba92594f7921932010327bc2110625a10d5cf6857e524c04e7266e7b335ff14d56b43c2b3d220c123a2af3a19ae7495b212896478d07a1da9faebb4d1fe SHA512 b82afaba8688da986b8578177c8e98b9586b63a5263cc9f9c001ec84390b3f7ba5f7028cf4b5a8cb026f980d285eabd68df7c0d93be063f720eae5eb168831a6
AUX cvc4-1.8-size_t.patch 281 BLAKE2B 5a6381da93e5b2d1603b9bb7f078b320f17e04410085b4f0a7112e842c6893346dc585ce96cf106860cd48fb890f9845e91ea77f477cee90c0d31782caeb1c1a SHA512 c6dfcd03c82bc49dcc31146472c8eef9685dd729f1650bfd032f0b2f42a9c9805c69fbe4ce42cf3954699ed3a868d8f193591e73011eaabadfee732630270b6a
AUX cvc4-1.8-toml.patch 1329 BLAKE2B 39def94cd357381b277c5d5e8b39edc5d9e48ea8ecccf190cea13995b4da54a896d9c0f8cf714b8c74425da1c8269fd1cddbef2619a4f59cbc4090bc31ec14a4 SHA512 ca999ee52e8e91259772cb0a4be7ca3149cf46196b599fb8f23301a5b4a4c5154b7419706ba9dd7f279f003692b10fcf406a4159542807baca85683595401479
DIST cvc4-1.8.tar.gz 7554297 BLAKE2B f4d2b223ba2c01ef745520d8874381a1873358fbc7eca12559656512ffeefccec4eca3d73a26debf34110ca14a3bccf35ca87e2a49575b8b67484bed79df081c SHA512 d6b0153b0f5c4e615c995a8eecfbfd783cfc1004c5134c6880230044081c71d638fee39cceb987eb8d72e91b2b6596b184dc0daacec8880cfc176c6dee8aa445
EBUILD cvc4-1.8-r7.ebuild 1882 BLAKE2B a855ef2f580f5f513c2f92b3009cce2cbe3914cb23c322199f4ed9690ced2d5064f4529d524485098d39a6fc164decff9bebe8f39e6a5abd14167475025509fc SHA512 eab142fb35efce3bdeff293cab490640bc658f06cb0b40645d28a405156dafd8e346dbcca1ce419a77f831ed46286ca3f6dc2d20fadbcd3bb49286b0a6ae563d
MISC metadata.xml 840 BLAKE2B d452e6a81280e47283c6ff9fa8a800d89c39920e95416e6b25a3bd55663b8ada050b6c7d21b65053ed2e94ae6affb570946fe699bc6efebb26dfcd06dcd0c184 SHA512 603da6ccd58f6d90f8738047c9f93d2c32583242711355fa619f8acaf8694f0cc1e22d41592914a154cc4cfa31b0ab7308e8584c8951bc78a3bdf8e5f130cb04