diff options
Diffstat (limited to 'math/coq/distinfo')
| -rw-r--r-- | math/coq/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/coq/distinfo b/math/coq/distinfo index 8eb59b22d36a..7545f2e3d298 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1707224242 -SHA256 (coq-coq-V8.19.0_GH0.tar.gz) = 17e5c10fadcd3cda7509d822099a892fcd003485272b56a45abd30390f6a426f -SIZE (coq-coq-V8.19.0_GH0.tar.gz) = 7674352 +TIMESTAMP = 1739496231 +SHA256 (coq-coq-V8.20.1_GH0.tar.gz) = 09ad238cc7930d59564b032be2a8a1fd10d6ef845364d739072d04090a6d3cc2 +SIZE (coq-coq-V8.20.1_GH0.tar.gz) = 7842928 |