aboutsummaryrefslogtreecommitdiff
path: root/math/lean4/distinfo
blob: d307f90be6762c586cfb9ba50b5ce72f78ee9e78 (plain) (blame) 
1
2
3

TIMESTAMP = 1705134061
SHA256 (leanprover-lean4-v4.5.0-rc1_GH0.tar.gz) = 8b5ae344816670adb2a68859b2f4c309592feb32674d477e46e061275f9e8129
SIZE (leanprover-lean4-v4.5.0-rc1_GH0.tar.gz) = 17060956
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 05:38:38 +0000