diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-08-26 14:52:16 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-08-26 14:52:16 +0100 |
commit | c3d998909264b1ff687b9c65cae3046443e66f7e (patch) | |
tree | ed7aa279f601f6c46fb8b7425bd2a051b72be8d6 /sci-mathematics/cvc4 | |
parent | cf91c70bb5a537972156006c46756b9ac75bdb7b (diff) |
gentoo auto-resync : 26:08:2022 - 14:52:16
Diffstat (limited to 'sci-mathematics/cvc4')
-rw-r--r-- | sci-mathematics/cvc4/Manifest | 2 | ||||
-rw-r--r-- | sci-mathematics/cvc4/metadata.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/cvc4/Manifest b/sci-mathematics/cvc4/Manifest index 3ea7c27764bb..f1efbdc6c78c 100644 --- a/sci-mathematics/cvc4/Manifest +++ b/sci-mathematics/cvc4/Manifest @@ -4,4 +4,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-r1.ebuild 1344 BLAKE2B fb5fa0f1176a038b7c6b9a00d0116abd2ae6f831d672de66beba2e5b83bb7713bdb0c94124e1d44cf2ecad41fb9055c1a10cf6f98c253380d4ead1173bd64e96 SHA512 38b6e0a1ee2d3b7c7d828dac4d7a3f6436881e27daf897fbbb715fbcc7de50e96d3b5585829aa3088aaac8464cd4e13b6afec8a4b37e56772f734e58d1a647be -MISC metadata.xml 802 BLAKE2B 97e1799f8a4e57d40e191c1ba30a762458a5bdf5e372fd406aa8b207f8ea8a39c178a2963d748d0cfd3123fcd18d3894f5ae5913edf67bb3cbb1c2b25528e5c1 SHA512 1373b776ce6f7689dc6c744c2b1e573bbd932c33b5517e54813caa4edde8f68d5670af316b5908dbf69c775c94fb932a12eb8c5ac39310a10c0e2aefbbda6f42 +MISC metadata.xml 813 BLAKE2B fb7b8a913282ec4634c2d0e1456b73285857e6f7d1acfa4d0450f8718485bfb67d36195a21e51daf662c9aa84205ec071ecc429e0519d02008e1ff68f6b83a04 SHA512 8b63e5250d0fb76f5fabc5ba3973b34eb740cc65d1ab66ec1072e407e9b4806ecf3679e0511d6912a866cc367069dfdeaf2a32f3938884fdedecbd16c58b268a diff --git a/sci-mathematics/cvc4/metadata.xml b/sci-mathematics/cvc4/metadata.xml index 42b2bfab2e1a..685032332723 100644 --- a/sci-mathematics/cvc4/metadata.xml +++ b/sci-mathematics/cvc4/metadata.xml @@ -6,7 +6,7 @@ <name>Tupone Alfredo</name> </maintainer> <use> - <flag name="cln">Use sci-libs/cln</flag> + <flag name="cln">Use <pkg>sci-libs/cln</pkg></flag> <flag name="statistics">Include statistics</flag> <flag name="replay">Turn on the replay feature</flag> <flag name="proofs">Support for proof generation</flag> |