2 lines
129 B
Text
2 lines
129 B
Text
SHA256 (coq-8.3pl2.tar.gz) = b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1
|
|
SIZE (coq-8.3pl2.tar.gz) = 3760176
|