diff options
author | miwi <miwi@FreeBSD.org> | 2011-03-20 20:54:45 +0800 |
---|---|---|
committer | miwi <miwi@FreeBSD.org> | 2011-03-20 20:54:45 +0800 |
commit | 33f3ed3f1c3ff900609e298fe5246ec6c3a8917e (patch) | |
tree | 45c7ff866f29c664434305bf071f4932f1ecea70 /math/cvc3 | |
parent | 93a8bae642e76d079e9916714b99a96f2d5841e9 (diff) | |
download | freebsd-ports-gnome-33f3ed3f1c3ff900609e298fe5246ec6c3a8917e.tar.gz freebsd-ports-gnome-33f3ed3f1c3ff900609e298fe5246ec6c3a8917e.tar.zst freebsd-ports-gnome-33f3ed3f1c3ff900609e298fe5246ec6c3a8917e.zip |
- Get Rid MD5 support
Diffstat (limited to 'math/cvc3')
-rw-r--r-- | math/cvc3/distinfo | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/math/cvc3/distinfo b/math/cvc3/distinfo index 0c6bb4a9779d..15179ba0c438 100644 --- a/math/cvc3/distinfo +++ b/math/cvc3/distinfo @@ -1,3 +1,2 @@ -MD5 (cvc3-1.2.1.tar.gz) = 65fc95fdb0ed6d1386b5f863d1b76391 SHA256 (cvc3-1.2.1.tar.gz) = e2100454606c649a2de59dd9fe3300fe3a7ecc4ac03c1d304c8f797aaed34bd9 SIZE (cvc3-1.2.1.tar.gz) = 827577 |