From cdb9c161062a3f5435a36a2c2d9b31877b0975a9 Mon Sep 17 00:00:00 2001
From: Jonathan Brielmaier <jonathan.brielmaier@web.de>
Date: Thu, 26 May 2022 10:27:13 +0200
Subject: [PATCH] nongnu: compcert: Remove input labels.

* nongnu/packages/coq.scm (compcert)[native-inputs]: Remove input
labels.
[inputs]: dito.
---
 nongnu/packages/coq.scm | 8 ++++----
 1 file 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