index
:
slackbuilds
11.0
12.0
12.1
12.2
13.0
13.1
13.37
14.0
14.1
14.2
15.0
master
urchlay
user/aclemons/updates
user/dslackw/updates
user/mario/updates
willysr
Official Git Repository
slackbuilds-users@slackbuilds.org
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
development
/
menhir
/
menhir.SlackBuild
Commit message (
Expand
)
Author
Age
Files
Lines
*
development/menhir: Updated for version 20220210.
Matteo Bernardini
2022-02-25
1
-19
/
+11
*
All: Support $PRINT_PACKAGE_NAME env var
Heinz Wiesinger
2021-07-17
1
-1
/
+10
*
All: SlackBuilds run in the directory they are in
Heinz Wiesinger
2021-07-05
1
-1
/
+2
*
All: Change SlackBuild shebang to /bin/bash
Heinz Wiesinger
2021-07-04
1
-1
/
+1
*
development/menhir: Updated for version 20190924.
Matteo Bernardini
2021-04-17
1
-2
/
+4
*
development/menhir: Updated for version 20170101.
Dimitris Zlatanidis
2017-04-22
1
-2
/
+2
*
development/menhir: Updated for version 20160825.
Dimitris Zlatanidis
2016-11-05
1
-2
/
+2
*
development/menhir: Switch to i586.
Dimitris Zlatanidis
2016-10-01
1
-4
/
+4
*
development/menhir: Updated for version 20160526.
Matteo Bernardini
2016-07-20
1
-1
/
+1
*
development/menhir: Fix embedded path in menhir binary.
David Spencer
2016-03-31
1
-2
/
+2
*
development/menhir: Install menhirLib to $PKG.
David Spencer
2016-01-10
1
-1
/
+5
*
development/menhir: Updated for version 20140422.
Dimitris Zlatanidis
2014-05-12
1
-10
/
+6
*
development/menhir: Added (OCaml parser generator).
Dimitris Zlatanidis
2014-02-21
1
-0
/
+104