Debian
menhir package

Branches for Wheezy

Name Status Last Modified Last Commit
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
1 → 1 of 1 result First • Previous • Next • Last