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

baggins baggins at pld-linux.org
Wed Apr 30 19:27:16 CEST 2014

Previous message: [packages/coq] - up to 8.4pl3
Next message: [packages/alt-ergo] - up to 0.95.2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Files fetched: 1

STORED: http://coq.inria.fr/V8.4pl3/files/coq-8.4pl3.tar.gz
	40a3057ae296bbb228e1e6537f44ccb1  coq-8.4pl3.tar.gz
	Size: 4064579 bytes


-- 
Virtually Yours: distfiles.

Previous message: [packages/coq] - up to 8.4pl3
Next message: [packages/alt-ergo] - up to 0.95.2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list