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: d20cb0cc673a324cf9cf10ac91ef75e7c5621a58 (plain) (blame)

1
2
3

TIMESTAMP = 1713025323
SHA256 (leanprover-lean4-v4.7.0_GH0.tar.gz) = b1f00b5f2431b34aeacba993c4f4675211a3827e96c4b1a06054c58188ae72c8
SIZE (leanprover-lean4-v4.7.0_GH0.tar.gz) = 19261610