diff options
author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2012-02-04 14:37:52 +0000 |
---|---|---|
committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2012-02-04 14:37:52 +0000 |
commit | 85803ea146d051ccfb19bae5a199c43afe6fcbda (patch) | |
tree | ef0a7ad7305e124e4c573c515181c699ed450526 /math/cvc3/distinfo | |
parent | 65a4e2ef3cb2773a4dd234a2bc66d544f26cbbd2 (diff) | |
download | ports-85803ea146d051ccfb19bae5a199c43afe6fcbda.tar.gz ports-85803ea146d051ccfb19bae5a199c43afe6fcbda.zip |
Notes
Diffstat (limited to 'math/cvc3/distinfo')
-rw-r--r-- | math/cvc3/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/cvc3/distinfo b/math/cvc3/distinfo index 15179ba0c438..a28de6748653 100644 --- a/math/cvc3/distinfo +++ b/math/cvc3/distinfo @@ -1,2 +1,2 @@ -SHA256 (cvc3-1.2.1.tar.gz) = e2100454606c649a2de59dd9fe3300fe3a7ecc4ac03c1d304c8f797aaed34bd9 -SIZE (cvc3-1.2.1.tar.gz) = 827577 +SHA256 (cvc3-2.4.1.tar.gz) = d55b1d6006cfbac3f6d4c086964558902c3ed0efa66ac499cfb2193f3ee4acf7 +SIZE (cvc3-2.4.1.tar.gz) = 1196616 |