kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
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

2 lines
129 B
Text
Raw Blame History

SHA256 (coq-8.4pl6.tar.gz) = a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6
SIZE (coq-8.4pl6.tar.gz) = 4099815
Reference in a new issue View git blame Copy permalink