summaryrefslogtreecommitdiff
path: root/development/menhir
Commit message (Expand)AuthorAge
* development/menhir: Updated for version 20190924.Matteo Bernardini2021-04-17
* development/menhir: Fix README.B. Watson2020-10-17
* development/menhir: Updated for version 20170101.Dimitris Zlatanidis2017-04-22
* development/menhir: Updated for version 20160825.Dimitris Zlatanidis2016-11-05
* development/menhir: Switch to i586.Dimitris Zlatanidis2016-10-01
* development/menhir: Depend on ocamlbuild.David Spencer2016-07-20
* development/menhir: Updated for version 20160526.Matteo Bernardini2016-07-20
* development/menhir: Fix embedded path in menhir binary.David Spencer2016-03-31
* development/menhir: Install menhirLib to $PKG.David Spencer2016-01-10
* development/menhir: Updated for version 20140422.Dimitris Zlatanidis2014-05-12
* development/menhir: Added (OCaml parser generator).Dimitris Zlatanidis2014-02-21