From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:58287) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gCsY4-00078H-Dq for guix-patches@gnu.org; Wed, 17 Oct 2018 16:36:09 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gCsY3-0003B2-Iw for guix-patches@gnu.org; Wed, 17 Oct 2018 16:36:08 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:51557) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gCsY3-0003AQ-DR for guix-patches@gnu.org; Wed, 17 Oct 2018 16:36:07 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gCsY3-0006tR-AB for guix-patches@gnu.org; Wed, 17 Oct 2018 16:36:07 -0400 Subject: [bug#33079] [PATCH 12/34] gnu: coq: Fix build failure. Resent-Message-ID: From: Julien Lepiller Date: Wed, 17 Oct 2018 22:34:20 +0200 Message-Id: <20181017203442.7075-12-julien@lepiller.eu> In-Reply-To: <20181017203442.7075-1-julien@lepiller.eu> References: <20181017223130.775b25fc@lepiller.eu> <20181017203442.7075-1-julien@lepiller.eu> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 33079@debbugs.gnu.org * gnu/packages/ocam.scm (coq)[inputs]: Add ocaml-num. --- gnu/packages/ocaml.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 604726c7b..8cb27a73a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -623,7 +623,8 @@ the OCaml core distribution.") (inputs `(("lablgtk" ,lablgtk) ("python" ,python-2) - ("camlp5" ,camlp5))) + ("camlp5" ,camlp5) + ("ocaml-num" ,ocaml-num))) (arguments `(#:phases (modify-phases %standard-phases -- 2.18.0