distinfo « lean4 « math - freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/math/lean4/distinfo

blob: 2fcae32c65840d1b950ed4e65fa47ee3bf1b20d1 (plain) (blame)

1
2
3

TIMESTAMP = 1720249428
SHA256 (leanprover-lean4-v4.9.0_GH0.tar.gz) = f59b7a782bd7e918b35a133a954094f0e39e344ffef06689a1c53ae97ae8d769
SIZE (leanprover-lean4-v4.9.0_GH0.tar.gz) = 22768229