From 69051588e2f955485fe5d45d45e616bc60a2de57 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 31 Jan 2021 18:57:01 +0000 Subject: gentoo resync : 31.01.2021 --- metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'metadata/md5-cache/sci-mathematics/cvc4-1.7-r1') diff --git a/metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 b/metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 index 5f11d29d404f..da8d578a966e 100644 --- a/metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 +++ b/metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 @@ -10,5 +10,5 @@ LICENSE=GPL-2 RDEPEND=dev-libs/antlr-c dev-java/antlr:3 dev-libs/boost readline? ( sys-libs/readline:0= ) cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= ) SLOT=0 SRC_URI=https://github.com/CVC4/CVC4/archive/1.7.tar.gz -> cvc4-1.7.tar.gz -_eclasses_=cmake-utils 77cd39e6009811bf97a59d91ffd5b54f edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic 09a8beb8e6a8e02dc1e1bd83ac353741 l10n 8cdd85e169b835d518bc2fd59f780d8e multilib d410501a125f99ffb560b0c523cd3d1e multiprocessing cac3169468f893670dac3e7cb940e045 ninja-utils 132cbb376048d079b5a012f5467c4e7f python-any-r1 f630b6d8702353cdc13f2d4dd882e16e python-utils-r1 65bb60d137e5a51f58ada69bf3f366da toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba -_md5_=ebb522f6d8fbed3b76f5680903113bc4 +_eclasses_=cmake-utils 77cd39e6009811bf97a59d91ffd5b54f edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic 09a8beb8e6a8e02dc1e1bd83ac353741 l10n 8cdd85e169b835d518bc2fd59f780d8e multilib d410501a125f99ffb560b0c523cd3d1e multiprocessing cac3169468f893670dac3e7cb940e045 ninja-utils 132cbb376048d079b5a012f5467c4e7f python-any-r1 0a79a9b53fce4525f438f8ea9695fb88 python-utils-r1 69861348186337fa4b269de5826004b3 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba +_md5_=166483febdd1e0b9783b6ac9974af256 -- cgit v1.2.3