diff options
Diffstat (limited to 'math/cvc3/distinfo')
-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 0c6bb4a..15179ba 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 |