1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-28 10:08:24 +00:00
freebsd-ports/math/coq/distinfo
Johan van Selst 377f42277a Update Coq to 8.4pl6
PR:		200409
Submitted by:	yuri@rawbw.com
2015-05-23 10:06:54 +00:00

3 lines
129 B
Plaintext

SHA256 (coq-8.4pl6.tar.gz) = a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6
SIZE (coq-8.4pl6.tar.gz) = 4099815