DISTFILES: z3: z3-4.8.17.tar.gz

qboosh qboosh at pld-linux.org
Sat Apr 29 09:00:20 CEST 2023

Previous message (by thread): [packages/z3] - updated to 4.8.17, fixed dirs in .pc file
Next message (by thread): [packages/mongo-c-driver] - updated to 1.23.3, fixed libdir in .pc file
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request by: qboosh


Files fetched: 1

STORED: https://github.com/Z3Prover/z3/archive/z3-4.8.17.tar.gz
	b0c2c37321f21ae9504a8fc112edd878  z3-4.8.17.tar.gz
	Size: 5232392 bytes


-- 
Virtually Yours: distfiles.

Previous message (by thread): [packages/z3] - updated to 4.8.17, fixed dirs in .pc file
Next message (by thread): [packages/mongo-c-driver] - updated to 1.23.3, fixed libdir in .pc file
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list