Branches for Raring

Name Status Last Modified Last Commit
lp:ubuntu/raring/menhir 2 Mature 2012-10-19 05:03:20 UTC 2012-10-19
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

11 of 1 result