diff options
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 |