freebsd-ports/math/lean/distinfo
Yuri Victorovich 4d3a799af9 math/lean: Update 3.29.0 -> 3.30.0
Reported by:	portscout
2021-05-06 10:59:22 -07:00

3 lines
206 B
Text

TIMESTAMP = 1620321898
SHA256 (leanprover-community-lean-v3.30.0_GH0.tar.gz) = 402b89ff4d368fd6597dd87c521fd2fe456c6b2b90c99d85f57523661bdd94be
SIZE (leanprover-community-lean-v3.30.0_GH0.tar.gz) = 1871731