DISTFILES: coq: coq-8.4pl6.tar.gz

qboosh qboosh at pld-linux.org
Mon Jul 27 21:16:33 CEST 2015

Previous message: [packages/coq] - updated to 8.4pl6 - even more TeX BRs
Next message: [packages/matroska-foundation] Created branch master
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request by: qboosh


Files fetched: 1

STORED: http://coq.inria.fr/distrib/V8.4pl6/files/coq-8.4pl6.tar.gz
	2334a98b64578cb81d2b4127e327b368  coq-8.4pl6.tar.gz
	Size: 4099815 bytes


-- 
Virtually Yours: distfiles.

Previous message: [packages/coq] - updated to 8.4pl6 - even more TeX BRs
Next message: [packages/matroska-foundation] Created branch master
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list