DISTFILES: z3: z3-4.12.2.tar.gz

qboosh qboosh at pld-linux.org
Fri Nov 10 20:39:33 CET 2023

Previous message (by thread): [packages/z3] - added includes patch (missing <cstdint> include); release 2
Next message (by thread): [packages/spirv-headers] - bumped Version to 1.6.1 (according to SPV_VERION/SPV_REVISION defines)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request by: qboosh


Files fetched: 1

STORED: https://github.com/Z3Prover/z3/archive/z3-4.12.2.tar.gz
	4061317f7948c19abd13041c5a32b057  z3-4.12.2.tar.gz
	Size: 5401038 bytes


-- 
Virtually Yours: distfiles.

Previous message (by thread): [packages/z3] - added includes patch (missing <cstdint> include); release 2
Next message (by thread): [packages/spirv-headers] - bumped Version to 1.6.1 (according to SPV_VERION/SPV_REVISION defines)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list