diff options
| author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2007-09-07 22:54:09 +0000 |
|---|---|---|
| committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2007-09-07 22:54:09 +0000 |
| commit | 91f7d86366b5554a46a61d16b87c5f54de060697 (patch) | |
| tree | 6c7b5ed1e020f1d5ef4396c4be0d162308383199 /math/cvc3/distinfo | |
| parent | bd4a3af34c8e24f7eb4ddc5f696335b97bba4a2a (diff) | |
| download | ports-91f7d86366b5554a46a61d16b87c5f54de060697.tar.gz ports-91f7d86366b5554a46a61d16b87c5f54de060697.zip | |
Notes
Diffstat (limited to 'math/cvc3/distinfo')
| -rw-r--r-- | math/cvc3/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/cvc3/distinfo b/math/cvc3/distinfo index f537a0307d66..0c6bb4a9779d 100644 --- a/math/cvc3/distinfo +++ b/math/cvc3/distinfo @@ -1,3 +1,3 @@ -MD5 (cvc3-1.0.tar.gz) = afe2e56b3002fd4dda73e68acda2e4a1 -SHA256 (cvc3-1.0.tar.gz) = 9a027f209471303751536133cc4643a3b14b975784e4c56cc47ca3c57ac15d0c -SIZE (cvc3-1.0.tar.gz) = 756035 +MD5 (cvc3-1.2.1.tar.gz) = 65fc95fdb0ed6d1386b5f863d1b76391 +SHA256 (cvc3-1.2.1.tar.gz) = e2100454606c649a2de59dd9fe3300fe3a7ecc4ac03c1d304c8f797aaed34bd9 +SIZE (cvc3-1.2.1.tar.gz) = 827577 |