From unknown Tue Jun 17 01:35:36 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#34701] [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0 Resent-From: Dan Frumin Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 01 Mar 2019 16:18:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 34701 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 34701@debbugs.gnu.org Cc: Dan Frumin X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.155145703928338 (code B ref -1); Fri, 01 Mar 2019 16:18:01 +0000 Received: (at submit) by debbugs.gnu.org; 1 Mar 2019 16:17:19 +0000 Received: from localhost ([127.0.0.1]:56743 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gzkqd-0007N0-DS for submit@debbugs.gnu.org; Fri, 01 Mar 2019 11:17:19 -0500 Received: from eggs.gnu.org ([209.51.188.92]:44979) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gzkqb-0007Mm-In for submit@debbugs.gnu.org; Fri, 01 Mar 2019 11:17:18 -0500 Received: from lists.gnu.org ([209.51.188.17]:45601) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gzkqW-0000zt-G5 for submit@debbugs.gnu.org; Fri, 01 Mar 2019 11:17:12 -0500 Received: from eggs.gnu.org ([209.51.188.92]:59357) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gzkqV-0003oz-Aq for guix-patches@gnu.org; Fri, 01 Mar 2019 11:17:12 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.5 required=5.0 tests=BAYES_50,RCVD_IN_DNSWL_MED, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gzkqU-0000yB-Eo for guix-patches@gnu.org; Fri, 01 Mar 2019 11:17:11 -0500 Received: from smtp1.science.ru.nl ([131.174.16.143]:35696) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gzkqU-0000wW-5X for guix-patches@gnu.org; Fri, 01 Mar 2019 11:17:10 -0500 Received: from localhost.localdomain (n142220.science.ru.nl [131.174.142.220]) (authen=dfrumin@cs.ru.nl) by smtp1.science.ru.nl (8.14.4/5.32) with ESMTP id x21GH0jK015623; Fri, 1 Mar 2019 17:17:07 +0100 From: Dan Frumin Date: Fri, 1 Mar 2019 17:15:08 +0100 Message-Id: <20190301161508.18012-1-dfrumin@cs.ru.nl> X-Mailer: git-send-email 2.17.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by smtp1.science.ru.nl id x21GH0jK015623 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 131.174.16.143 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --- gnu/packages/coq.scm | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 3cd8c4cb6..5393d4273 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -184,15 +184,15 @@ provers.") (define-public coq-flocq (package (name "coq-flocq") - (version "2.6.1") + (version "3.1.0") (source (origin (method url-fetch) ;; Use the =E2=80=98Latest version=E2=80=99 link for a sta= ble URI across releases. (uri (string-append "https://gforge.inria.fr/frs/download.= php/" - "file/37454/flocq-" version ".tar.gz")= ) + "file/37901/flocq-" version ".tar.gz")= ) (sha256 (base32 - "06msp1fwpqv6p98a3i1nnkj7ch9rcq3rm916yxq8dxf51lkghrin"))= )) + "02szrgz9m0ac51la1lqpiv6i2g0zbgx9gz5rp0q1g00ajldyna5c"))= )) (build-system gnu-build-system) (native-inputs `(("ocaml" ,ocaml) @@ -413,14 +413,14 @@ provides BigN, BigZ, BigQ that used to be part of C= oq standard library.") (define-public coq-interval (package (name "coq-interval") - (version "3.3.0") + (version "3.4.0") (source (origin (method url-fetch) (uri (string-append "https://gforge.inria.fr/frs/download.= php/" - "file/37077/interval-" version ".tar.g= z")) + "file/37524/interval-" version ".tar.g= z")) (sha256 (base32 - "08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903"))= )) + "023j9sd64brqvjdidqkn5m8d7a93zd9r86ggh573z9nkjm2m7vvg"))= )) (build-system gnu-build-system) (native-inputs `(("ocaml" ,ocaml) --=20 2.17.1 From unknown Tue Jun 17 01:35:36 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Dan Frumin Subject: bug#34701: closed (Re: [bug#34701] [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0) Message-ID: References: <20190301215649.03aee8c9@lepiller.eu> <20190301161508.18012-1-dfrumin@cs.ru.nl> X-Gnu-PR-Message: they-closed 34701 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 34701@debbugs.gnu.org Date: Fri, 01 Mar 2019 20:58:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1551473882-28942-1" This is a multi-part message in MIME format... ------------=_1551473882-28942-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #34701: [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0 which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 34701@debbugs.gnu.org. --=20 34701: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D34701 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1551473882-28942-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 34701-done) by debbugs.gnu.org; 1 Mar 2019 20:57:09 +0000 Received: from localhost ([127.0.0.1]:56830 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gzpDR-0007Vl-E5 for submit@debbugs.gnu.org; Fri, 01 Mar 2019 15:57:09 -0500 Received: from lepiller.eu ([89.234.186.109]:52252) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gzpDP-0007Vb-L7 for 34701-done@debbugs.gnu.org; Fri, 01 Mar 2019 15:57:08 -0500 Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id cae6af0d (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <34701-done@debbugs.gnu.org>; Fri, 1 Mar 2019 20:57:03 +0000 (UTC) Date: Fri, 1 Mar 2019 21:56:49 +0100 From: Julien Lepiller To: 34701-done@debbugs.gnu.org Subject: Re: [bug#34701] [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0 Message-ID: <20190301215649.03aee8c9@lepiller.eu> In-Reply-To: <20190301161508.18012-1-dfrumin@cs.ru.nl> References: <20190301161508.18012-1-dfrumin@cs.ru.nl> X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34701-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Pushed as 0b611996b9c41e7c33d30260bbce744a9141d999! I've slightly adjusted the commit message, the rest is kept as is. It's ok to have two packages updated in the same patch since an independent update to one of these breaks. In general, you should send one patch per package though. Thank you! ------------=_1551473882-28942-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 1 Mar 2019 16:17:19 +0000 Received: from localhost ([127.0.0.1]:56743 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gzkqd-0007N0-DS for submit@debbugs.gnu.org; Fri, 01 Mar 2019 11:17:19 -0500 Received: from eggs.gnu.org ([209.51.188.92]:44979) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gzkqb-0007Mm-In for submit@debbugs.gnu.org; Fri, 01 Mar 2019 11:17:18 -0500 Received: from lists.gnu.org ([209.51.188.17]:45601) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gzkqW-0000zt-G5 for submit@debbugs.gnu.org; Fri, 01 Mar 2019 11:17:12 -0500 Received: from eggs.gnu.org ([209.51.188.92]:59357) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gzkqV-0003oz-Aq for guix-patches@gnu.org; Fri, 01 Mar 2019 11:17:12 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.5 required=5.0 tests=BAYES_50,RCVD_IN_DNSWL_MED, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gzkqU-0000yB-Eo for guix-patches@gnu.org; Fri, 01 Mar 2019 11:17:11 -0500 Received: from smtp1.science.ru.nl ([131.174.16.143]:35696) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gzkqU-0000wW-5X for guix-patches@gnu.org; Fri, 01 Mar 2019 11:17:10 -0500 Received: from localhost.localdomain (n142220.science.ru.nl [131.174.142.220]) (authen=dfrumin@cs.ru.nl) by smtp1.science.ru.nl (8.14.4/5.32) with ESMTP id x21GH0jK015623; Fri, 1 Mar 2019 17:17:07 +0100 From: Dan Frumin To: guix-patches@gnu.org Subject: [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0 Date: Fri, 1 Mar 2019 17:15:08 +0100 Message-Id: <20190301161508.18012-1-dfrumin@cs.ru.nl> X-Mailer: git-send-email 2.17.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by smtp1.science.ru.nl id x21GH0jK015623 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 131.174.16.143 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit Cc: Dan Frumin X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --- gnu/packages/coq.scm | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 3cd8c4cb6..5393d4273 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -184,15 +184,15 @@ provers.") (define-public coq-flocq (package (name "coq-flocq") - (version "2.6.1") + (version "3.1.0") (source (origin (method url-fetch) ;; Use the =E2=80=98Latest version=E2=80=99 link for a sta= ble URI across releases. (uri (string-append "https://gforge.inria.fr/frs/download.= php/" - "file/37454/flocq-" version ".tar.gz")= ) + "file/37901/flocq-" version ".tar.gz")= ) (sha256 (base32 - "06msp1fwpqv6p98a3i1nnkj7ch9rcq3rm916yxq8dxf51lkghrin"))= )) + "02szrgz9m0ac51la1lqpiv6i2g0zbgx9gz5rp0q1g00ajldyna5c"))= )) (build-system gnu-build-system) (native-inputs `(("ocaml" ,ocaml) @@ -413,14 +413,14 @@ provides BigN, BigZ, BigQ that used to be part of C= oq standard library.") (define-public coq-interval (package (name "coq-interval") - (version "3.3.0") + (version "3.4.0") (source (origin (method url-fetch) (uri (string-append "https://gforge.inria.fr/frs/download.= php/" - "file/37077/interval-" version ".tar.g= z")) + "file/37524/interval-" version ".tar.g= z")) (sha256 (base32 - "08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903"))= )) + "023j9sd64brqvjdidqkn5m8d7a93zd9r86ggh573z9nkjm2m7vvg"))= )) (build-system gnu-build-system) (native-inputs `(("ocaml" ,ocaml) --=20 2.17.1 ------------=_1551473882-28942-1--