lp:debian/stretch/z3
Created by
Ubuntu Package Importer
and last modified
- Get this branch:
- bzr branch lp:debian/stretch/z3
Members of
Ubuntu branches
can upload to this branch. Log in for directions.
Branch information
- Owner:
- Ubuntu branches
- Status:
- Development
Recent revisions
- 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)
- Stacked on:
- lp:debian/z3