mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-04 11:23:46 +00:00
9b77394e18
PR: ports/76977 Submitted by: Rene Laden (maintainer)
3 lines
94 B
Plaintext
3 lines
94 B
Plaintext
MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79
|
|
SIZE (coq-8.0pl2.tar.gz) = 2285855
|