mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-21 08:42:23 +00:00
4 lines
184 B
Plaintext
4 lines
184 B
Plaintext
TIMESTAMP = 1532330618
|
|
SHA256 (leanprover-lean-v3.4.1_GH0.tar.gz) = c146385e75ae8fbd88732d4443400123288bfea885c35c213efaba78b655d320
|
|
SIZE (leanprover-lean-v3.4.1_GH0.tar.gz) = 1816434
|