DISTFILES: z3: z3-4.15.2.tar.gz

qboosh qboosh at pld-linux.org
Mon Jul 21 18:23:36 CEST 2025

Previous message (by thread): [packages/z3] - upated to 4.15.2 (new soname)
Next message (by thread): [packages/ghc-safe] - pl, dependencies
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request by: qboosh


Files fetched: 1

STORED: https://github.com/Z3Prover/z3/archive/z3-4.15.2.tar.gz
	edce98c601844cd0883d9f552ba8232c  z3-4.15.2.tar.gz
	Size: 5892526 bytes


-- 
Virtually Yours: distfiles.

Previous message (by thread): [packages/z3] - upated to 4.15.2 (new soname)
Next message (by thread): [packages/ghc-safe] - pl, dependencies
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list