DISTFILES: coq: coq-8.13.1.tar.gz

baggins baggins at pld-linux.org
Sun Mar 28 18:53:36 CEST 2021

Previous message (by thread): [packages/coq] - arm is a macro containing actual arm subarchs
Next message (by thread): [packages/st] Created branch master
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request by: baggins


Files fetched: 1

STORED: https://github.com/coq/coq/archive/V8.13.1/coq-8.13.1.tar.gz
	03ebbf1034c224a0a3327db2d5688c29  coq-8.13.1.tar.gz
	Size: 6951464 bytes


-- 
Virtually Yours: distfiles.

Previous message (by thread): [packages/coq] - arm is a macro containing actual arm subarchs
Next message (by thread): [packages/st] Created branch master
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list