PR: 283111 Reported by: wenheping2000@hotmail.com Approved by: maintainer(timeout, > 60 days)
4 lines
170 B
Plaintext
4 lines
170 B
Plaintext
TIMESTAMP = 1739496231
|
|
SHA256 (coq-coq-V8.20.1_GH0.tar.gz) = 09ad238cc7930d59564b032be2a8a1fd10d6ef845364d739072d04090a6d3cc2
|
|
SIZE (coq-coq-V8.20.1_GH0.tar.gz) = 7842928
|