mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-08 06:48:28 +00:00
4 lines
146 B
Plaintext
4 lines
146 B
Plaintext
TIMESTAMP = 1483223265
|
|
SHA256 (coq-8.6.tar.gz) = 6e3c3cf5c8e2b0b760dc52738e2e849f3a8c630869659ecc0cf41413fcee81df
|
|
SIZE (coq-8.6.tar.gz) = 5538848
|