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. _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
