mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-09 06:51:44 +00:00
3 lines
129 B
Plaintext
3 lines
129 B
Plaintext
SHA256 (coq-8.4pl2.tar.gz) = fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8
|
|
SIZE (coq-8.4pl2.tar.gz) = 4145112
|