DISTFILES: coq: coq-8.15.0.tar.gz

qboosh qboosh at pld-linux.org
Sat Jan 29 15:48:55 CET 2022

Previous message (by thread): [packages/coq] - this version relies on fpmath=sse, so require sse2 on x86
Next message (by thread): [packages/ocaml-dbm] - updated ocaml template
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Previous message (by thread): [packages/coq] - this version relies on fpmath=sse, so require sse2 on x86
Next message (by thread): [packages/ocaml-dbm] - updated ocaml template
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list