Request by: qboosh
Files fetched: 1 STORED: https://github.com/coq/coq/archive/V8.15.0/coq-8.15.0.tar.gz cfa91d270e013b0ebe49120c2101d010 coq-8.15.0.tar.gz Size: 7215106 bytes -- Virtually Yours: distfiles. _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
