DISTFILES: coq: coq-8.6.tar.gz

baggins baggins at pld-linux.org
Tue Jun 6 01:26:04 CEST 2017

Previous message (by thread): DISTFILES: ocaml-pxp: pxp-1.2.9.tar.gz
Next message (by thread): DISTFILES: brltty: brltty-5.5.tar.xz
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Previous message (by thread): DISTFILES: ocaml-pxp: pxp-1.2.9.tar.gz
Next message (by thread): DISTFILES: brltty: brltty-5.5.tar.xz
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list