lp:debian/z3
Created by
Ubuntu Package Importer
and last modified
- Get this branch:
- bzr branch lp:debian/z3
Members of
Ubuntu branches
can upload to this branch. Log in for directions.
Related source package recipes
Branch information
- Owner:
- Ubuntu branches
- Status:
- Development
Recent revisions
- 4. By Michael Tautschnig
-
* De-duplicate files in python-z3, depend on libz3-dev instead
* Added bindings for java, OCaml, and .NET
* Use multi-arch library locations - 3. By Michael Tautschnig
-
* Added __init__.py. Thanks Andrea Villa for the hints. (Closes: #791604)
* Use emmintrin.h conditionally only (Closes: #789881) - 2. By Michael Tautschnig
-
* Initial release (Closes: #786807)
* Includes patches from unstable branch up to 6a50f10b8b
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
