DISTFILES: z3: z3-4.16.0.tar.gz

qboosh qboosh at pld-linux.org
Fri Apr 10 18:24:13 CEST 2026

Previous message (by thread): [packages/z3] - updated to 4.16.0 (new soname; dropped python2 module - no users, was already broken in 4.15)
Next message (by thread): [packages/tk] Up to 9.0.3
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request by: qboosh


Files fetched: 1

STORED: https://github.com/Z3Prover/z3/archive/z3-4.16.0.tar.gz
	d93c36651adbbcd5e3a5350c5075660b  z3-4.16.0.tar.gz
	Size: 6136396 bytes


-- 
Virtually Yours: distfiles.

Previous message (by thread): [packages/z3] - updated to 4.16.0 (new soname; dropped python2 module - no users, was already broken in 4.15)
Next message (by thread): [packages/tk] Up to 9.0.3
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list