DISTFILES: z3: z3-4.8.13.tar.gz

qboosh qboosh at pld-linux.org
Mon Dec 20 17:56:16 CET 2021

Previous message (by thread): [packages/z3] - moved META file to base ocaml package
Next message (by thread): [packages/kernel] Up to 5.15.10.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request by: qboosh


Files fetched: 1

STORED: https://github.com/Z3Prover/z3/archive/z3-4.8.13.tar.gz
	723a8859cc9b38b90d127aeca8144dc2  z3-4.8.13.tar.gz
	Size: 5103999 bytes


-- 
Virtually Yours: distfiles.

Previous message (by thread): [packages/z3] - moved META file to base ocaml package
Next message (by thread): [packages/kernel] Up to 5.15.10.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list