DISTFILES: z3: Z3-4.8.5.tar.gz

qboosh qboosh at pld-linux.org
Sat Oct 5 12:43:08 CEST 2019

Previous message (by thread): [packages/z3] - fix build without ocaml_opt
Next message (by thread): DISTFILES: python-cryptography: cryptography-2.7.tar.gz cryptography_vectors-2.7.tar.gz
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request by: qboosh


Files fetched: 1

STORED: https://github.com/Z3Prover/z3/archive/Z3-4.8.5.tar.gz
	2095a1a6ebdae2a50c0c9b801292ff24  Z3-4.8.5.tar.gz
	Size: 4177051 bytes


-- 
Virtually Yours: distfiles.

Previous message (by thread): [packages/z3] - fix build without ocaml_opt
Next message (by thread): DISTFILES: python-cryptography: cryptography-2.7.tar.gz cryptography_vectors-2.7.tar.gz
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list