diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-29 14:55:22 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-29 14:55:22 +0000 |
| commit | 4c51ef39a9b443061a7071e002d7daa2a4d16141 (patch) | |
| tree | 048b88a0effe40564f62448a2ff2779f637e563f /sci-mathematics/cvc4/Manifest | |
| parent | cd1445321d1a6609cc7215588a79b2232c8a9bd3 (diff) | |
gentoo auto-resync : 29:01:2023 - 14:55:22
Diffstat (limited to 'sci-mathematics/cvc4/Manifest')
| -rw-r--r-- | sci-mathematics/cvc4/Manifest | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/sci-mathematics/cvc4/Manifest b/sci-mathematics/cvc4/Manifest index f6f6ad45635d..071e0c9ead5c 100644 --- a/sci-mathematics/cvc4/Manifest +++ b/sci-mathematics/cvc4/Manifest @@ -1,8 +1,5 @@ -AUX cvc4-1.7-gentoo.patch 1665 BLAKE2B db98e67fb3b152e0c78019b21b32c99d06377f1b1c1cc6a3ac2edea5e27d6f8ba082fc209c3694e1144a94d9d3b1897418af250252ff40a26e521bbf72d7da0f SHA512 b6b7af8c48c0398375343c8fa72f3e15d8f9031848cf94e6e2880f04b5e8d695691dcf67b84daa1706464289f7db0300046af4c93adcf278f7951eccc734af89 AUX cvc4-1.8-gentoo.patch 1983 BLAKE2B bd9e7f8b442e151fdc27b45866ed4374ffcbeb5d37edd192cda13ddb3ca547b6e29cfea7641973636a184c14a649bb2131beb4e9c9b90f329dfd0cec8aab0bf0 SHA512 3793c9e318ffb266e505627ac7ea3cbf6a7ba3837a419967b873b72b71bc2bb1a45ae9fd61abaa95af02802267823d8affc1faf077f8ee16eef00ed7715c2187 AUX cvc4-1.8-toml.patch 1329 BLAKE2B 39def94cd357381b277c5d5e8b39edc5d9e48ea8ecccf190cea13995b4da54a896d9c0f8cf714b8c74425da1c8269fd1cddbef2619a4f59cbc4090bc31ec14a4 SHA512 ca999ee52e8e91259772cb0a4be7ca3149cf46196b599fb8f23301a5b4a4c5154b7419706ba9dd7f279f003692b10fcf406a4159542807baca85683595401479 -DIST cvc4-1.7.tar.gz 6969953 BLAKE2B 3a64db14a734e0314fb7d7b8dbed79e067c9bbf1723343dac1e9c47b3f09811b1a32ff0116412667bd0afefda2489c6c1679bf109710402a67bee0d91b62dd94 SHA512 b91dfac7ddf979a3474f562eb98f2d6f17a53efa38c1be5502429309a0c059e1f2b0d85ee95e5aee17d35f34c825f01f879ec4aaf26025b1fcac835c33a867c6 DIST cvc4-1.8.tar.gz 7554297 BLAKE2B f4d2b223ba2c01ef745520d8874381a1873358fbc7eca12559656512ffeefccec4eca3d73a26debf34110ca14a3bccf35ca87e2a49575b8b67484bed79df081c SHA512 d6b0153b0f5c4e615c995a8eecfbfd783cfc1004c5134c6880230044081c71d638fee39cceb987eb8d72e91b2b6596b184dc0daacec8880cfc176c6dee8aa445 -EBUILD cvc4-1.7-r1.ebuild 1379 BLAKE2B a7d73271cc1266420acc93c3b608d9193849ec46d6f4311349e5fdc630b3cb6691197679283caa24dee09aa62239f40780c8c2c820a467d275ba45a85ad4f744 SHA512 e7efcba0ed5477a8fbfe1738c4a1702d8cecef2912ff2d0f6ad162a142599297f050e5d59332190603151dc1c1b038b5931b6040b79ae25f879ccec8ae8ad072 EBUILD cvc4-1.8-r2.ebuild 1385 BLAKE2B 2eec032201922d9073f76fe09058eb40b567b8d56ee0a282dd35f6603e07a5535dc735c7a6c897126ecb3a7580d1b2545ab258a2f0fd0d2195cc73a0104b4fcf SHA512 5b499aa9b94d66f5cc75f75bf3698bf621227e54d4ad434e7e0286fe977b10dc5a7beb4aa1617791ea045e7888df1dc9f91c1bfb9cdd7197964ce2b17ff76e1d -MISC metadata.xml 896 BLAKE2B 58163d55e390843818582cd3d83c274f31d9ff5bfb86fed1020fc2150bb16956afb021a0b7d19d882a03a827f1604187a3bd2cb7cc00cff15be0b44801e696c7 SHA512 16cc57406a27c2bdccea93e0cb6787be485c28eabb67741709857d887e1bba218c1e5c70558b881fa64527eee7ef74bbaabf016f997581ae6de6cd2e426e5371 +MISC metadata.xml 840 BLAKE2B d452e6a81280e47283c6ff9fa8a800d89c39920e95416e6b25a3bd55663b8ada050b6c7d21b65053ed2e94ae6affb570946fe699bc6efebb26dfcd06dcd0c184 SHA512 603da6ccd58f6d90f8738047c9f93d2c32583242711355fa619f8acaf8694f0cc1e22d41592914a154cc4cfa31b0ab7308e8584c8951bc78a3bdf8e5f130cb04 |