From unknown Mon Jun 16 23:40:25 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#34701 <34701@debbugs.gnu.org> To: bug#34701 <34701@debbugs.gnu.org> Subject: Status: [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0 Reply-To: bug#34701 <34701@debbugs.gnu.org> Date: Tue, 17 Jun 2025 06:40:25 +0000 retitle 34701 [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.= 4.0 reassign 34701 guix-patches submitter 34701 Dan Frumin severity 34701 normal tag 34701 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Mar 01 11:17:19 2019 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 From debbugs-submit-bounces@debbugs.gnu.org Fri Mar 01 15:57:09 2019 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! From unknown Mon Jun 16 23:40:25 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 30 Mar 2019 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator