diff options
Diffstat (limited to 'nongnu/packages/coq.scm')
| -rw-r--r-- | nongnu/packages/coq.scm | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm index f247483..f45b44c 100644 --- a/nongnu/packages/coq.scm +++ b/nongnu/packages/coq.scm @@ -73,11 +73,11 @@ ;; MIPS is not supported. (supported-systems (delete "mips64el-linux" %supported-systems)) (native-inputs - `(("ocaml" ,ocaml) - ("ocaml-findlib" ,ocaml-findlib); for menhir --suggest-menhirlib - ("coq" ,coq))) + (list coq + ocaml + ocaml-findlib)) ; for menhir --suggest-menhirlib (inputs - `(("menhir" ,ocaml-menhir))) + (list ocaml-menhir)) (home-page "http://compcert.inria.fr") (synopsis "Certified C compiler") (description "The CompCert project investigates the formal verification of |