Matteo Bernardini
|
6a3b9bc733
|
development/menhir: Updated for version 20160526.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
|
2016-07-20 14:20:08 -05:00 |
|
David Spencer
|
709c5dbfd6
|
development/menhir: Fix embedded path in menhir binary.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
|
2016-03-31 12:48:02 +01:00 |
|
David Spencer
|
cd5ad874c9
|
development/menhir: Install menhirLib to $PKG.
Also use -j1 in SlackBuild.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
|
2016-01-10 21:34:39 -06:00 |
|
Dimitris Zlatanidis
|
12d80c284f
|
development/menhir: Updated for version 20140422.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
|
2014-05-12 07:35:49 +07:00 |
|
Dimitris Zlatanidis
|
4f35a1144b
|
development/menhir: Added (OCaml parser generator).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
|
2014-02-21 14:41:02 -06:00 |