DISTFILES: coq-8.1pl4.tar.gz

baggins baggins at pld-linux.org
Mon Feb 16 14:19:50 CET 2009

Previous message: SPECS: template-python.spec - polish desc
Next message: SPECS: coq.spec - 8.1pl4
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Files fetched: 1

STORED: http://coq.inria.fr/V8.1pl4/files/coq-8.1pl4.tar.gz
	8fa623538d362d8f48d78e598c43215e  coq-8.1pl4.tar.gz
	Size: 3009030 bytes


-- 
Virtually Yours: distfiles.

Previous message: SPECS: template-python.spec - polish desc
Next message: SPECS: coq.spec - 8.1pl4
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list