summaryrefslogtreecommitdiffstats
path: root/development/menhir/menhir.info (follow)
Commit message (Expand)AuthorAgeFilesLines
* development/menhir: Updated for version 20190924....Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> Matteo Bernardini2021-04-171-3/+3
* development/menhir: Updated for version 20170101....Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com> Dimitris Zlatanidis2017-04-221-3/+3
* development/menhir: Updated for version 20160825....Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com> Dimitris Zlatanidis2016-11-051-3/+3
* development/menhir: Depend on ocamlbuild....Signed-off-by: David Spencer <baildon.research@googlemail.com> David Spencer2016-07-201-1/+1
* development/menhir: Updated for version 20160526....Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> Matteo Bernardini2016-07-201-3/+3
* development/menhir: Updated for version 20140422....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Dimitris Zlatanidis2014-05-121-3/+3
* development/menhir: Added (OCaml parser generator)....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Dimitris Zlatanidis2014-02-211-0/+10