summaryrefslogtreecommitdiff
path: root/devel/menhir
AgeCommit message (Expand)AuthorFilesLines
2012-10-31Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.asau1-3/+1
2012-10-29Corrected contents of patch directory; minor modifications to buildjaapb4-60/+43
2012-10-08Revision bump associated with the update of lang/ocaml to version 4.jaapb3-50/+58
2011-12-06Recursive bump for lang/ocaml buildlink addition.sbd1-2/+2
2011-02-28Reset maintainer for retired developers.wiz1-2/+2
2009-06-30Mark packages as MAKE_JOBS_SAFE=no that failed in a bulk build withjoerg1-1/+3
2009-06-14Correctly unregister on deinstallation. Bump revision.joerg2-2/+4
2009-06-14Remove @dirrm entries from PLISTsjoerg1-9/+1
2008-10-13Import menhir-20080912. This is the parser used by the upcomingbjs5-0/+141