mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-24 04:33:24 +00:00
3 lines
129 B
Plaintext
3 lines
129 B
Plaintext
SHA256 (coq-8.4pl3.tar.gz) = 97583d637f981c5554007f4e99ce6420ebc737186b1d021bd71766fd891cfb38
|
|
SIZE (coq-8.4pl3.tar.gz) = 4064579
|