rpms
/
ocaml-menhir
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
108 Commits 25 Branches 0 Tags 112 KiB
Commit Graph

2 Commits

Author SHA1 Message Date
Jerry James 7b0bed3cda Version 20200211. 
Dune is now used to build the package.
Split the build-time and runtime parts into separate packages.
 2020-03-25 12:59:19 -06:00
Jerry James d562401933 Reenable coq support. 
Add coq-menhirlib subpackage, without which coq support is rather pointless.
 2020-01-22 09:24:15 -07:00