diff options
author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-05-26 10:27:13 +0200 |
---|---|---|
committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-05-26 10:27:13 +0200 |
commit | cdb9c161062a3f5435a36a2c2d9b31877b0975a9 (patch) | |
tree | 61fe40ba2355909ec8c1628408c8d8781972653a /nongnu/packages | |
parent | b8404abba7b365997ee7abcbc95c6e3008858999 (diff) |
nongnu: compcert: Remove input labels.
* nongnu/packages/coq.scm (compcert)[native-inputs]: Remove input
labels.
[inputs]: dito.
Diffstat (limited to 'nongnu/packages')
-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 |