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

summary refs log tree commit diff

path: root/math/coq/distinfo

blob: 8eb59b22d36a6c0d99351efa654e0bff46cce770 (plain) (blame)

1
2
3

TIMESTAMP = 1707224242
SHA256 (coq-coq-V8.19.0_GH0.tar.gz) = 17e5c10fadcd3cda7509d822099a892fcd003485272b56a45abd30390f6a426f
SIZE (coq-coq-V8.19.0_GH0.tar.gz) = 7674352