summaryrefslogtreecommitdiffstats
path: root/development/menhir (follow)
Commit message (Expand)AuthorAgeFilesLines
* development/menhir: Fix embedded path in menhir binary....Signed-off-by: David Spencer <idlemoor@slackbuilds.org> David Spencer2016-03-311-2/+2
* development/menhir: Install menhirLib to $PKG....Also use -j1 in SlackBuild. Signed-off-by: David Spencer <idlemoor@slackbuilds.org> David Spencer2016-01-101-1/+5
* development/menhir: Updated for version 20140422....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Dimitris Zlatanidis2014-05-123-13/+12
* development/menhir: Added (OCaml parser generator)....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Dimitris Zlatanidis2014-02-214-0/+135