DISTFILES: coq-8.0pl2.tar.gz

aredridel aredridel at pld-linux.org
Sun Jul 24 21:54:46 CEST 2005

Previous message: SPECS: coq.spec - start up to 8.0pl2
Next message: SPECS: apache1-mod_ssl.spec - Obsoletes: apache-mod_{ssl,sxnet} < 2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Files fetched: 1

STORED: ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/coq-8.0pl2.tar.gz
	39ee0fed76e47a11de2f49e2c236ef79  coq-8.0pl2.tar.gz
	Size: 2285855 bytes


-- 
Virtually Yours: distfiles.

Previous message: SPECS: coq.spec - start up to 8.0pl2
Next message: SPECS: apache1-mod_ssl.spec - Obsoletes: apache-mod_{ssl,sxnet} < 2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list