lp:ubuntu/trusty/aac-tactics
Created by
James Westby
and last modified
- Get this branch:
- bzr branch lp:ubuntu/trusty/aac-tactics
Members of
Ubuntu branches
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
Branch information
- Owner:
- Ubuntu branches
- Status:
- Development
Recent revisions
- 17. By Stéphane Glondu
-
* Recompile with coq 8.4pl3
* Bump Standards-Version to 3.9.5 (no changes)
* Update Vcs-* - 14. By Stéphane Glondu
-
* New upstream release
* Use format version 1.0 in debian/copyright
* Bump Standards-Version to 3.9.4
* Upload to unstable
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)