Ubuntu
menhir package

Branches for Feisty

Name		Status	Last Modified	Last Commit
lp:ubuntu/feisty/menhir		1 Development	2009-07-25 12:09:56 UTC 2009-07-25	2. * Correctly set PREFIX when building,... Author: Samuel Mimram Revision Date: 2006-07-11 12:26:18 UTC * Correctly set PREFIX when building, closes: #378260. * Added bashim.dpatch to remove bashisms, closes: #377803.