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

1
2
3

TIMESTAMP = 1755740882
SHA256 (leanprover-lean4-v4.22.0_GH0.tar.gz) = 625aa7b9916b0dd9dd5c0a0f9b76d4921cc837528e799bd9ced8c6685c27651b
SIZE (leanprover-lean4-v4.22.0_GH0.tar.gz) = 38212555