: Code : z3 package : Debian

Debian
z3 package

Name		Status	Last Modified	Last Commit
lp:debian/z3		1 Development	2015-08-27 15:18:46 UTC 2015-08-27	4. * De-duplicate files in python-z3, de... Author: Michael Tautschnig Revision Date: 2015-08-27 15:18:46 UTC * De-duplicate files in python-z3, depend on libz3-dev instead * Added bindings for java, OCaml, and .NET * Use multi-arch library locations
lp:debian/stretch/z3		1 Development	2015-07-07 08:08:48 UTC 2015-07-07	3. * Added __init__.py. Thanks Andrea Vi... Author: Michael Tautschnig Revision Date: 2015-07-07 08:08:48 UTC * Added __init__.py. Thanks Andrea Villa for the hints. (Closes: #791604) * Use emmintrin.h conditionally only (Closes: #789881)