aboutsummaryrefslogtreecommitdiff
path: root/development/menhir/menhir.SlackBuild
AgeCommit message (Expand)Author
2021-04-17development/menhir: Updated for version 20190924.Matteo Bernardini
2017-04-22development/menhir: Updated for version 20170101.Dimitris Zlatanidis
2016-11-05development/menhir: Updated for version 20160825.Dimitris Zlatanidis
2016-10-01development/menhir: Switch to i586.Dimitris Zlatanidis
2016-07-20development/menhir: Updated for version 20160526.Matteo Bernardini
2016-03-31development/menhir: Fix embedded path in menhir binary.David Spencer
2016-01-10development/menhir: Install menhirLib to $PKG.David Spencer
2014-05-12development/menhir: Updated for version 20140422.Dimitris Zlatanidis
2014-02-21development/menhir: Added (OCaml parser generator).Dimitris Zlatanidis