Mon Nov 19 23:45:56+0100 2018
ac198e8
fix missing package
more/packages/ocaml.scm
| 330 | 330 | `(("ocaml" ,ocaml) | |
| 331 | 331 | ("coq" ,coq-8.7))) | |
| 332 | 332 | (inputs | |
| 333 | - | `(("menhir" ,ocaml-menhir-fix))) | |
| 333 | + | `(("menhir" ,ocaml-menhir))) | |
| 334 | 334 | (home-page "http://compcert.inria.fr") | |
| 335 | 335 | (synopsis "Certified C compiler") | |
| 336 | 336 | (description "CompCert is a certified (with coq) C compiler. Warning: this |