diff options
author | Johan van Selst <johans@FreeBSD.org> | 2012-03-25 09:21:05 +0000 |
---|---|---|
committer | Johan van Selst <johans@FreeBSD.org> | 2012-03-25 09:21:05 +0000 |
commit | f07a67135418811bf991673436b8b9fdf27809e2 (patch) | |
tree | 8ffcf60e1dc6c66a671061c2754a3471f687f77f /math/coq/distinfo | |
parent | 6803b4465d30493138e1a8f151a82666143014b7 (diff) | |
download | ports-f07a67135418811bf991673436b8b9fdf27809e2.tar.gz ports-f07a67135418811bf991673436b8b9fdf27809e2.zip |
Notes
Diffstat (limited to 'math/coq/distinfo')
-rw-r--r-- | math/coq/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/coq/distinfo b/math/coq/distinfo index e6c510d01234..43218988230b 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,2 +1,2 @@ -SHA256 (coq-8.3pl2.tar.gz) = b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1 -SIZE (coq-8.3pl2.tar.gz) = 3760176 +SHA256 (coq-8.3pl3.tar.gz) = af259e9a723761327137018fdc0b98ada71095ff033b9e169d175d92b9537947 +SIZE (coq-8.3pl3.tar.gz) = 3859883 |