Request by: baggins
Files fetched: 1 STORED: http://coq.inria.fr/distrib/V8.6/files/coq-8.6.tar.gz e7f1704b85d648468160abe03338f1bd coq-8.6.tar.gz Size: 5538848 bytes -- Virtually Yours: distfiles. _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
