lp:ubuntu/trusty/menhir
Created by
James Westby
and last modified
- Get this branch:
- bzr branch lp:ubuntu/trusty/menhir
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 gregor herrmann
-
* Non-maintainer upload.
* Fix "FTBFS: Makefile:34: *** Please define PREFIX. Stop.":
"backport" from 20130116.dfsg-1 in experimental:
add empty override_dh_auto_ test to debian/rules.
(Closes: #718098) - 13. By Mehdi
-
[ Stéphane Glondu ]
* Do not install examples twice (Closes: #603335)[ Mehdi Dogguy ]
* New upstream release.
* Set filter-pristine-tar to True in debian/gbp.conf. - 11. By Mehdi
-
* Use new features of dh-ocaml (0.9).
* Build-dep on ocaml >= 3.11.1-3~
* Use new address and remove DMUA
* Bump standards to 3.8.3
* Convert patches to quilt format and use quilt instead of dpatch
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)