diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-12-05 15:06:42 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-05 15:06:42 +0000 |
| commit | fbfe3f841f32cbf766cd6ba1d05c3930540be577 (patch) | |
| tree | 2ad069f43557a857380a1a671de130a635441eac /sci-mathematics/cvc4 | |
| parent | c3870d5920e6ee600e9360c3a5b004b7ad0c5abf (diff) | |
gentoo auto-resync : 05:12:2022 - 15:06:42
Diffstat (limited to 'sci-mathematics/cvc4')
| -rw-r--r-- | sci-mathematics/cvc4/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/cvc4/metadata.xml | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/sci-mathematics/cvc4/Manifest b/sci-mathematics/cvc4/Manifest index c69a0bea225c..7ba65c23dacf 100644 --- a/sci-mathematics/cvc4/Manifest +++ b/sci-mathematics/cvc4/Manifest @@ -5,4 +5,4 @@ DIST cvc4-1.7.tar.gz 6969953 BLAKE2B 3a64db14a734e0314fb7d7b8dbed79e067c9bbf1723 DIST cvc4-1.8.tar.gz 7554297 BLAKE2B f4d2b223ba2c01ef745520d8874381a1873358fbc7eca12559656512ffeefccec4eca3d73a26debf34110ca14a3bccf35ca87e2a49575b8b67484bed79df081c SHA512 d6b0153b0f5c4e615c995a8eecfbfd783cfc1004c5134c6880230044081c71d638fee39cceb987eb8d72e91b2b6596b184dc0daacec8880cfc176c6dee8aa445 EBUILD cvc4-1.7-r1.ebuild 1379 BLAKE2B 7c19d2a0bda3de27f1fe34619bb380b9e1fd019b8ecd00d211bd8c377d8455a06f283b1494f2361cd765426366def94371192f4ae265c60df211c46b82387646 SHA512 072f641ba31457f411cf01959017ae743eb47a44a79007b9505c44361221369c1f9a651c23397ce13e7f32c01755b160410ab0b1e1b2a54cf7436c3089925e1d EBUILD cvc4-1.8-r2.ebuild 1385 BLAKE2B 3644466818eee8930321823ed8fd68de4200cf261ff5dd6a24021f9695739669a26da7c915de8861d340ba36439eb3ac1314b88fbccbd5badfa84284cd5295d1 SHA512 7526613a0a0b5f43247cbb7a5a1cecc3947c3ae37c064d3e06356767c11cc3db4ad07fbfb506af2abc548314c9f2099dd296240c6e5cab1508298ee477210865 -MISC metadata.xml 813 BLAKE2B fb7b8a913282ec4634c2d0e1456b73285857e6f7d1acfa4d0450f8718485bfb67d36195a21e51daf662c9aa84205ec071ecc429e0519d02008e1ff68f6b83a04 SHA512 8b63e5250d0fb76f5fabc5ba3973b34eb740cc65d1ab66ec1072e407e9b4806ecf3679e0511d6912a866cc367069dfdeaf2a32f3938884fdedecbd16c58b268a +MISC metadata.xml 896 BLAKE2B 58163d55e390843818582cd3d83c274f31d9ff5bfb86fed1020fc2150bb16956afb021a0b7d19d882a03a827f1604187a3bd2cb7cc00cff15be0b44801e696c7 SHA512 16cc57406a27c2bdccea93e0cb6787be485c28eabb67741709857d887e1bba218c1e5c70558b881fa64527eee7ef74bbaabf016f997581ae6de6cd2e426e5371 diff --git a/sci-mathematics/cvc4/metadata.xml b/sci-mathematics/cvc4/metadata.xml index 685032332723..012b2a3438e4 100644 --- a/sci-mathematics/cvc4/metadata.xml +++ b/sci-mathematics/cvc4/metadata.xml @@ -17,4 +17,7 @@ the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination. </longdescription> + <upstream> + <remote-id type="github">CVC4/CVC4-archived</remote-id> + </upstream> </pkgmetadata> |