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

baggins baggins at pld-linux.org
Sun Nov 16 13:09:54 CET 2014

Previous message: DISTFILES: colorhug-client: colorhug-client-0.2.3.tar.xz
Next message: DISTFILES: ocaml-calendar: calendar-2.04.tar.gz
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request by: baggins


Files fetched: 1

STORED: http://coq.inria.fr/distrib/V8.4pl5/files/coq-8.4pl5.tar.gz
	7839005b48527a85149da950bd2ac006  coq-8.4pl5.tar.gz
	Size: 4070062 bytes


-- 
Virtually Yours: distfiles.

Previous message: DISTFILES: colorhug-client: colorhug-client-0.2.3.tar.xz
Next message: DISTFILES: ocaml-calendar: calendar-2.04.tar.gz
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list