openbsd-ports/math/coq/distinfo

3 lines
109 B
Plaintext
Raw Normal View History

SHA256 (coq-8.4pl1.tar.gz) = XQ5FU6tQZ3qUtNXKFlCpBxjpNiCCpkm6lb5AEDkKD4A=
SIZE (coq-8.4pl1.tar.gz) = 4139808