mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-13 07:34:50 +00:00
4 lines
206 B
Plaintext
4 lines
206 B
Plaintext
TIMESTAMP = 1625073801
|
|
SHA256 (leanprover-community-lean-v3.31.0_GH0.tar.gz) = d93925fa0eaf27ce9fd6eccb6cd53401a1ccb34e4118caee3a44916d63f863b2
|
|
SIZE (leanprover-community-lean-v3.31.0_GH0.tar.gz) = 1872275
|