From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:55803) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e5wYF-0007xn-MW for guix-patches@gnu.org; Sat, 21 Oct 2017 12:23:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e5wYE-0002mi-Mn for guix-patches@gnu.org; Sat, 21 Oct 2017 12:23:07 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:45822) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1e5wYE-0002md-Jb for guix-patches@gnu.org; Sat, 21 Oct 2017 12:23:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1e5wYE-000331-Dp for guix-patches@gnu.org; Sat, 21 Oct 2017 12:23:06 -0400 Subject: [bug#28925] [PATCH 7/7] gnu: Update coq-interval to 3.3.0. Resent-Message-ID: From: julien@lepiller.eu Date: Sat, 21 Oct 2017 18:20:58 +0200 Message-Id: <20171021162058.27938-8-julien@lepiller.eu> In-Reply-To: <20171021162058.27938-1-julien@lepiller.eu> References: <20171021181638.27d0d0d8@lepiller.eu> <20171021162058.27938-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: 28925@debbugs.gnu.org From: Julien Lepiller * gnu/packages/ocaml.scm (coq-interval): Update to 3.3.0. --- gnu/packages/ocaml.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index addcdba5a..b13168c7d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3781,14 +3781,14 @@ provides BigN, BigZ, BigQ that used to be part of Coq standard library.") (define-public coq-interval (package (name "coq-interval") - (version "3.2.0") + (version "3.3.0") (source (origin (method url-fetch) (uri (string-append "https://gforge.inria.fr/frs/download.php/" "file/36538/interval-" version ".tar.gz")) (sha256 (base32 - "16ir7mizl18kwa1ls8fwjih6r87894bvc1r6lh85cd43la7nriq3")))) + "08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903")))) (build-system gnu-build-system) (native-inputs `(("ocaml" ,ocaml) @@ -3796,6 +3796,7 @@ provides BigN, BigZ, BigQ that used to be part of Coq standard library.") ("coq" ,coq))) (propagated-inputs `(("flocq" ,coq-flocq) + ("bignums" ,coq-bignums) ("coquelicot" ,coq-coquelicot) ("mathcomp" ,coq-mathcomp))) (arguments -- 2.14.2