mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-22 00:35:15 +00:00
3 lines
129 B
Plaintext
3 lines
129 B
Plaintext
SHA256 (coq-8.3pl2.tar.gz) = b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1
|
|
SIZE (coq-8.3pl2.tar.gz) = 3760176
|