summaryrefslogtreecommitdiffstats
path: root/development/menhir/menhir.SlackBuild
Commit message (Expand)AuthorAgeFilesLines
* development/menhir: Updated for version 20220210. Matteo Bernardini2022-02-251-19/+11
* All: Support $PRINT_PACKAGE_NAME env var Heinz Wiesinger2021-07-171-1/+10
* All: SlackBuilds run in the directory they are in Heinz Wiesinger2021-07-051-1/+2
* All: Change SlackBuild shebang to /bin/bash Heinz Wiesinger2021-07-041-1/+1
* development/menhir: Updated for version 20190924. Matteo Bernardini2021-04-171-2/+4
* development/menhir: Updated for version 20170101. Dimitris Zlatanidis2017-04-221-2/+2
* development/menhir: Updated for version 20160825. Dimitris Zlatanidis2016-11-051-2/+2
* development/menhir: Switch to i586. Dimitris Zlatanidis2016-10-011-4/+4
* development/menhir: Updated for version 20160526. Matteo Bernardini2016-07-201-1/+1
* development/menhir: Fix embedded path in menhir binary. David Spencer2016-03-311-2/+2
* development/menhir: Install menhirLib to $PKG. David Spencer2016-01-101-1/+5
* development/menhir: Updated for version 20140422. Dimitris Zlatanidis2014-05-121-10/+6
* development/menhir: Added (OCaml parser generator). Dimitris Zlatanidis2014-02-211-0/+104