Go to file
Richard W.M. Jones 75a5f25c7d Bump release. 2020-01-19 13:20:48 +00:00
.gitignore New upstream version. New source URL. 2018-11-14 18:48:44 -07:00
ocaml-menhir.spec Bump release. 2020-01-19 13:20:48 +00:00
sources New upstream version. BR coq to get coq_makefile. 2019-09-24 10:00:24 -06:00