Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-10-01 06:32:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
34439 commits 308 branches 1127 tags 276 MiB
Commit graph

3 commits

Author SHA1 Message Date
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