blob: 20923ac21be366cd54ae4dc1060f296327ba0385 (
plain) (
blame)
1
2
3
|
TIMESTAMP = 1764606890
SHA256 (leanprover-lean4-v4.25.2-20251201-5e165e3_GH0.tar.gz) = 70c7265936d4d5393c9778a19d39620b4ce51c75cda1a0d3fbdef685996c5d3d
SIZE (leanprover-lean4-v4.25.2-20251201-5e165e3_GH0.tar.gz) = 48235866
|
