diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-02-29 18:01:47 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-02-29 18:01:47 +0000 |
commit | ceeeb463cc1eef97fd62eaee8bf2196ba04bc384 (patch) | |
tree | 9f47ee47c31a0f13f9496879cd88a1042550aa81 /metadata/md5-cache/sci-mathematics/cvc4-1.6 | |
parent | 53cba99042fa967e2a93da9f8db806fe2d035543 (diff) |
gentoo (leap year) resync : 29.02.2020
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/cvc4-1.6')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/cvc4-1.6 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/sci-mathematics/cvc4-1.6 b/metadata/md5-cache/sci-mathematics/cvc4-1.6 index 14c34d4572f2..fd11c0591e7d 100644 --- a/metadata/md5-cache/sci-mathematics/cvc4-1.6 +++ b/metadata/md5-cache/sci-mathematics/cvc4-1.6 @@ -9,4 +9,4 @@ LICENSE=GPL-2 RDEPEND=dev-libs/antlr-c dev-libs/boost cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= ) SLOT=0 SRC_URI=http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz -_md5_=9d9dce446d3c17959a26e76252e8fbee +_md5_=0fa497641b0052ef7c0db817d8289196 |