mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-19 19:59:43 +00:00
4 lines
184 B
Plaintext
4 lines
184 B
Plaintext
TIMESTAMP = 1548236438
|
|
SHA256 (leanprover-lean-v3.4.2_GH0.tar.gz) = ec4488be8473577666f38dec81123d0f7b26476139d3caa2e175a571f6c00d87
|
|
SIZE (leanprover-lean-v3.4.2_GH0.tar.gz) = 1807616
|