| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | development/menhir: Added the dependency dune (removed ocamlbuild)....Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> |   Matteo Bernardini | 2022-02-27 | 1 | -1/+1 |
| * | development/menhir: Updated for version 20220210....Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> | Matteo Bernardini | 2022-02-25 | 2 | -22/+14 |
| * | All: Support $PRINT_PACKAGE_NAME env var...Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> |   Heinz Wiesinger | 2021-07-17 | 1 | -1/+10 |
| * | All: SlackBuilds run in the directory they are in...Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> | Heinz Wiesinger | 2021-07-05 | 1 | -1/+2 |
| * | All: Change SlackBuild shebang to /bin/bash...Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> | Heinz Wiesinger | 2021-07-04 | 1 | -1/+1 |
| * | development/menhir: Updated for version 20190924....Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> | Matteo Bernardini | 2021-04-17 | 2 | -5/+7 |
| * | development/menhir: Fix README....Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> |   B. Watson | 2020-10-17 | 1 | -1/+2 |
| * | development/menhir: Updated for version 20170101....Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com> |   Dimitris Zlatanidis | 2017-04-22 | 2 | -5/+5 |
| * | development/menhir: Updated for version 20160825....Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com> | Dimitris Zlatanidis | 2016-11-05 | 2 | -5/+5 |
| * | development/menhir: Switch to i586....Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com> | Dimitris Zlatanidis | 2016-10-01 | 1 | -4/+4 |
| * | development/menhir: Depend on ocamlbuild....Signed-off-by: David Spencer <baildon.research@googlemail.com> |   David Spencer | 2016-07-20 | 1 | -1/+1 |
| * | development/menhir: Updated for version 20160526....Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> | Matteo Bernardini | 2016-07-20 | 2 | -4/+4 |
| * | development/menhir: Fix embedded path in menhir binary....Signed-off-by: David Spencer <idlemoor@slackbuilds.org> |   David Spencer | 2016-03-31 | 1 | -2/+2 |
| * | development/menhir: Install menhirLib to $PKG....Also use -j1 in SlackBuild. Signed-off-by: David Spencer <idlemoor@slackbuilds.org> | David Spencer | 2016-01-10 | 1 | -1/+5 |
| * | development/menhir: Updated for version 20140422....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> | Dimitris Zlatanidis | 2014-05-12 | 3 | -13/+12 |
| * | development/menhir: Added (OCaml parser generator)....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> | Dimitris Zlatanidis | 2014-02-21 | 4 | -0/+135 |
 |
index : slackbuilds | |
| Mirror of slackbuilds.org | alien@slackware.com |
| summaryrefslogtreecommitdiffstats |