Files fetched: 1 STORED: http://coq.inria.fr/V8.4pl3/files/coq-8.4pl3.tar.gz 40a3057ae296bbb228e1e6537f44ccb1 coq-8.4pl3.tar.gz Size: 4064579 bytes
-- Virtually Yours: distfiles. _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
