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