Ubuntu
menhir package

Branches for Quantal

Name Status Last Modified Last Commit
lp:ubuntu/quantal/menhir 2 Mature 2012-04-26 20:28:14 UTC
16. * 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
1 → 1 of 1 result First • Previous • Next • Last