DISTFILES: z3: z3-4.8.7.tar.gz

qboosh qboosh at pld-linux.org
Sat Dec 28 08:23:12 CET 2019

Previous message (by thread): [packages/z3] - updated cmake options - added ctz patch (adjust __builtin_ctz conditions for gcc)
Next message (by thread): [packages/ocaml-zarith] - new URLs, updated to 1.9.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request by: qboosh


Files fetched: 1

STORED: https://github.com/Z3Prover/z3/archive/z3-4.8.7.tar.gz
	18e7332ab136c1d8686ea719ed7107ed  z3-4.8.7.tar.gz
	Size: 4343720 bytes


-- 
Virtually Yours: distfiles.

Previous message (by thread): [packages/z3] - updated cmake options - added ctz patch (adjust __builtin_ctz conditions for gcc)
Next message (by thread): [packages/ocaml-zarith] - new URLs, updated to 1.9.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list