Debian
menhir package

Name Status Last Modified Last Commit
lp:debian/experimental/menhir 1 Development 2015-07-20 00:00:56 UTC
11. * New upstream release - Requires O...

Author: Mehdi
Revision Date: 2015-07-20 00:00:56 UTC

* New upstream release
  - Requires OCaml >= 4.02~.
lp:debian/stretch/menhir 1 Development 2015-05-27 10:16:48 UTC
13. New upstream relese.

Author: Mehdi
Revision Date: 2014-04-27 14:49:45 UTC

New upstream relese.
lp:debian/jessie/menhir 1 Development 2014-04-27 14:49:45 UTC
13. New upstream relese.

Author: Mehdi
Revision Date: 2014-04-27 14:49:45 UTC

New upstream relese.
lp:debian/menhir 1 Development 2014-04-27 14:49:45 UTC
14. New upstream relese.

Author: Mehdi
Revision Date: 2014-04-27 14:49:45 UTC

New upstream relese.
lp:debian/wheezy/menhir 1 Development 2012-01-23 20:50:25 UTC
9. * New upstream release - fixes http...

Author: Mehdi
Revision Date: 2012-01-23 20:50:25 UTC

* New upstream release
  - fixes http://caml.inria.fr/mantis/view.php?id=5462
lp:debian/squeeze/menhir 1 Development 2009-09-23 18:48:23 UTC
6. * Use new features of dh-ocaml (0.9)....

Author: Mehdi
Revision Date: 2009-09-23 18:48:23 UTC

* 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
lp:debian/lenny/menhir 2 Mature 2009-07-25 12:04:24 UTC
3. * New upstream release. * Updated sta...

Author: Samuel Mimram
Revision Date: 2007-12-22 00:46:17 UTC

* New upstream release.
* Updated standards version, no changes needed.
1 → 7 of 7 results First • Previous • Next • Last