mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-18 08:02:48 +00:00
4 lines
188 B
Plaintext
4 lines
188 B
Plaintext
MD5 (coq-8.1pl3.tar.gz) = 84311faf7865b2eab964990cdb365dca
|
|
SHA256 (coq-8.1pl3.tar.gz) = 7f8f45594adff2625312c5ecb144cb00d39c99201dac309c9286b34d01a36bb6
|
|
SIZE (coq-8.1pl3.tar.gz) = 3003593
|