slackcoder/slackbuilds.org/slackbuilds

Age	Commit message (Collapse)	Author
2021-04-17	development/menhir: Updated for version 20190924.	Matteo Bernardini
	Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
2020-10-17	development/menhir: Fix README.	B. Watson
	Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2017-04-22	development/menhir: Updated for version 20170101.	Dimitris Zlatanidis
	Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
2016-11-05	development/menhir: Updated for version 20160825.	Dimitris Zlatanidis
	Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
2016-10-01	development/menhir: Switch to i586.	Dimitris Zlatanidis
	Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
2016-07-20	development/menhir: Depend on ocamlbuild.	David Spencer
	Signed-off-by: David Spencer <baildon.research@googlemail.com>
2016-07-20	development/menhir: Updated for version 20160526.	Matteo Bernardini
	Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
2016-03-31	development/menhir: Fix embedded path in menhir binary.	David Spencer
	Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
2016-01-10	development/menhir: Install menhirLib to $PKG.	David Spencer
	Also use -j1 in SlackBuild. Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
2014-05-12	development/menhir: Updated for version 20140422.	Dimitris Zlatanidis
	Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2014-02-21	development/menhir: Added (OCaml parser generator).	Dimitris Zlatanidis
	Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>