slackbuilds - Mirror of slackbuilds.org

	Commit message (Expand)	Author	Age	Files	Lines
*	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