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

1 Commits

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