diff options
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 baa7243797ef..e6c510d01234 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,2 +1,2 @@ -SHA256 (coq-8.3pl1.tar.gz) = 3a497386bd74f43a5af1d0c53f29a017ce7ed1b1e60c052217fe04b7f40be928 -SIZE (coq-8.3pl1.tar.gz) = 3756961 +SHA256 (coq-8.3pl2.tar.gz) = b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1 +SIZE (coq-8.3pl2.tar.gz) = 3760176 |