rpms/ocaml-menhir
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Clone of https://src.fedoraproject.org/rpms/ocaml-menhir
79 Commits 25 Branches 0 Tags 112 KiB
RPM Spec 100%
4b910a31a7
Go to file
Richard W.M. Jones 4b910a31a7 OCaml 4.10.0+beta1 rebuild.
2020-01-19 13:32:42 +00:00
.gitignore New upstream version. New source URL. 2018-11-14 18:48:44 -07:00
ocaml-menhir.spec OCaml 4.10.0+beta1 rebuild. 2020-01-19 13:32:42 +00:00
sources New upstream version. BR coq to get coq_makefile. 2019-09-24 10:00:24 -06:00