lp:debian/stretch/menhir
- Get this branch:
- bzr branch lp:debian/stretch/menhir
Branch information
- Owner:
- Ubuntu branches
- Status:
- Development
Recent revisions
- 12. By Mehdi
-
* Fix FTBFS on bytecode architectures.
- Add 0002-Use-CURDIR- instead- of-.-during- bootstrap. patch
* Do not install menhirLib.mlpack. - 10. 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) - 8. By Mehdi
-
* New upstream release (Closes: #583291).
* Bump Standards-Version to 3.9.2, no changes needed. - 7. 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. - 6. 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)
- Stacked on:
- lp:debian/menhir