DISTFILES: coq: coq-8.3pl1.tar.gz

baggins baggins at pld-linux.org
Wed Apr 6 11:15:40 CEST 2011

Previous message: packages: coq/coq.spec - rel 1
Next message: packages: evince/evince.spec - updated to 3.0.0; merged from DEVEL
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Files fetched: 1

STORED: http://coq.inria.fr/V8.3pl1/files/coq-8.3pl1.tar.gz
	1869d22b337f5da59ba3bbe1433f9a3b  coq-8.3pl1.tar.gz
	Size: 3756961 bytes


-- 
Virtually Yours: distfiles.

Previous message: packages: coq/coq.spec - rel 1
Next message: packages: evince/evince.spec - updated to 3.0.0; merged from DEVEL
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list