DISTFILES: z3: z3-4.12.6.tar.gz

qboosh qboosh at pld-linux.org
Mon Aug 19 07:42:00 CEST 2024

Previous message (by thread): [packages/z3] fix %install without apidocs
Next message (by thread): [packages/kp6-kwayland] - BR: plasma-wayland-protocols-devel
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request by: qboosh


Files fetched: 1

STORED: https://github.com/Z3Prover/z3/archive/z3-4.12.6.tar.gz
	0481db0fdd2ec05417d511dba271b702  z3-4.12.6.tar.gz
	Size: 5492517 bytes


-- 
Virtually Yours: distfiles.

Previous message (by thread): [packages/z3] fix %install without apidocs
Next message (by thread): [packages/kp6-kwayland] - BR: plasma-wayland-protocols-devel
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list