From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id ELJ4ONm2aGYY5gAAqHPOHw:P1 (envelope-from ) for ; Tue, 11 Jun 2024 20:43:06 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id ELJ4ONm2aGYY5gAAqHPOHw (envelope-from ) for ; Tue, 11 Jun 2024 22:43:06 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=foundation.xyz header.s=google header.b=RYSR1n3n; dmarc=fail reason="SPF not aligned (relaxed)" header.from=foundation.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1718138585; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=eptLjm4Lk85BzsRfPVHeT1w0rHemM96W8F+9cMUXyQM=; b=Fc23iAamwPlskQMDbYD7gb+1RZiraXglqis9Lwt8itdZ60223/YQJ8uLBtTACJ/akq+k95 ZkS+x2KxXAC4u/kzFL+NH/C5BhVgVCGS4bPKmHO6VOet7raxbVu1oAnaeJSBZJNiHGGOgw +Ama6NyXeIvA0v6dMnvsTbXSw+fGHs49MGUPiQRVNhuRgynWXHlMvObL0CU/4nNUva+pXg 2R2mASms2aFLKqrAq+/M8UahAxhVC00G6mud373f2rebtdKphCqd+q38a+7yNnXP6jWRil q1uUOoiai/IcXeC41lGq6t1qpDxpl1Tm3qQ5v3mukgrcpDom9TPehQ1K0cYROA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1718138585; a=rsa-sha256; cv=none; b=RWeavMKTPfeGu1WwHHKkNVUMz97slUkRKZzsjpK/dmPQ7iyOcLwyUsLTqqaM9z2yK1xSwm 180a3+Zt8raQyNaejNep4MhfalVQvz6mv4bvLpJC2zDh4SiFrAEs5wgfUhsiWMBfgl0b4b JgoaJH5NoeVcVQxxMyUAQB0OivjeZTBfB9vOfnhOIG9XLzHng0970CsLsgXqAEcjyWhiBd vPuR9NyOM5HeYb+DeWBVz60k9O4R8yZh9NOmAHg0P/kqJCL7oldaHYj6ATlxA4O4Cf8EXF /rZXgekfUG63EY8G8X8EUWg/TwIm/gP8WH93kskOiBsw9FhZOnF6HsCTReRYeA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=foundation.xyz header.s=google header.b=RYSR1n3n; dmarc=fail reason="SPF not aligned (relaxed)" header.from=foundation.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 88A953D4FC for ; Tue, 11 Jun 2024 22:43:05 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sH8Jp-0004YT-4g; Tue, 11 Jun 2024 16:42:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sH8Jk-0004WJ-Af for guix-patches@gnu.org; Tue, 11 Jun 2024 16:42:08 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sH8Jj-00082q-GZ for guix-patches@gnu.org; Tue, 11 Jun 2024 16:42:08 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sH8Jh-0006MZ-8h; Tue, 11 Jun 2024 16:42:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71492] [PATCH 0/6] coq: Update various packages. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 11 Jun 2024 20:42:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 71492 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 71492@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ , Julien Lepiller , pukkamustard X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by submit@debbugs.gnu.org id=B.171813849224213 (code B ref -1); Tue, 11 Jun 2024 20:42:05 +0000 Received: (at submit) by debbugs.gnu.org; 11 Jun 2024 20:41:32 +0000 Received: from localhost ([127.0.0.1]:36757 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sH8J9-0006IN-9V for submit@debbugs.gnu.org; Tue, 11 Jun 2024 16:41:31 -0400 Received: from lists.gnu.org ([209.51.188.17]:59872) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sH8AW-0005ne-0F for submit@debbugs.gnu.org; Tue, 11 Jun 2024 16:32:36 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sH38T-00067d-J1 for guix-patches@gnu.org; Tue, 11 Jun 2024 11:10:13 -0400 Received: from mail-wr1-x42b.google.com ([2a00:1450:4864:20::42b]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sH38R-0000vg-Km for guix-patches@gnu.org; Tue, 11 Jun 2024 11:10:09 -0400 Received: by mail-wr1-x42b.google.com with SMTP id ffacd0b85a97d-354b722fe81so4984780f8f.3 for ; Tue, 11 Jun 2024 08:10:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1718118605; x=1718723405; darn=gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=eptLjm4Lk85BzsRfPVHeT1w0rHemM96W8F+9cMUXyQM=; b=RYSR1n3ns4SAq91b0lkp1PIE6eINB2Txle0qYMZ7dO8Q1ZDMxU7B+PyBBSA2dVfnKh UHVnWsiugw3LD3+xmQngncdvc8Ai5fpWpj0z6Lqv1JZpRoJkw8KBCPEyRrBbqNUNOyBh NTPqYNcM6D1dlTkaVSvTLUS9qM/jvzwMRrOJqqN181TU6lC9Xa4v02Nc0+9qQJqwEKG2 uWdwtsvCLJDP5ir6DL7ko1AAb/Fy0qLfmV23M4BcsCv9l24eHlhDtWk5FWTDEjAIn3VD mu+SLueiq8q8ufLcwXdjdqM1kbh3DkMyEWsZVSW0Gts62CSmtpRjnDLqECMOl4HUwRqo WeUQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718118605; x=1718723405; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=eptLjm4Lk85BzsRfPVHeT1w0rHemM96W8F+9cMUXyQM=; b=Lsy5sfuCRw5BmDZHoPYSSSMKjlQIZmgXc4IJyZ04uyIW6qhJpEPzwh57IMtXsT3HMS SMwH4O/uCD/ePUOTaAGGUCD50AcMgtd/qfQ44X8nMfQhX70Ov6Vw3S4lkOgy4cMQ0ikq hiL2vT7cZbL+Vng3eoWauz2n65eg4DhTt84rGT2w4k9hw+Ny5215qLlK4vAjnlW2yWCZ qvKWBqRUIYQvt8gkyYx5BNDJH/4TbkCWz78rnk4bYMcUBst1R3gyZKrHSYTRtWE7eQGP 0CojI4zmZw4+kQL9MLWjRsMZZwr9emsm+PSuryNpb1M+tVFpEvlmIDQeVvhrvTUheWQA hLIw== X-Gm-Message-State: AOJu0YzYa+L6X+T3iC0PZJcYmsRYQuoNhb6py2Yloy3NyTFRXKVX4OLn pC1BY4V3pLLGs3X9dRg8ncIzYMijkGd4oCTpiDHWfoCQGwDiHamEUCUmErSOE6xKtzM6fe1g0SO 0 X-Google-Smtp-Source: AGHT+IGVEPLQ5MvqoKktlfXKSd/EpyIGRYLQBkm+Uw/b1HtlElDBj3FhAghj/9WsukZfmu7bS6zqsQ== X-Received: by 2002:a05:6000:1f8c:b0:35f:2937:4607 with SMTP id ffacd0b85a97d-35f293746f1mr3820880f8f.34.1718118604910; Tue, 11 Jun 2024 08:10:04 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-35f26355d54sm4984019f8f.64.2024.06.11.08.10.04 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 11 Jun 2024 08:10:04 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ Date: Tue, 11 Jun 2024 17:10:02 +0200 Message-ID: X-Mailer: git-send-email 2.45.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::42b; envelope-from=jean@foundation.xyz; helo=mail-wr1-x42b.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -0.94 X-Spam-Score: -0.94 X-Migadu-Queue-Id: 88A953D4FC X-Migadu-Scanner: mx11.migadu.com X-TUID: 6/vBYQaOcxDj This patch series update various Coq packages to newer versions as they don't compile with Coq 8.19, so this is essentially a pre-requisite patch set to update Coq. There are other packages that will need to be updated at the same time as Coq as they don't build with the current version (coq-bignums and coq-equations). I have a branch prepared to update Coq to 8.19: But it isn't ready yet because it breaks why3 and all of it dependents, see: . And also the coq-semantics package fails to build with Coq 8.19, but it seems that it hasn't been maintained lately. So to not break those packages first I think it's best to at least merge these updates in the meantime to make progress towards updating Coq. Jean-Pierre De Jesus DIAZ (6): gnu: coq-autosubst: Update to 1.8-0.6ba0acc. gnu: coq-coquelicot: Update to 3.4.1. gnu: coq-gappa: Update to 1.5.5. gnu: coq-interval: Update to 4.10.0. gnu: coq-mathcomp: Update to 1.19.0. gnu: coq-stdpp: Update to 1.10.0. gnu/packages/coq.scm | 76 +++++++++++++++++++++++--------------------- 1 file changed, 40 insertions(+), 36 deletions(-) base-commit: 520d85bad4c0207df85273c72d59e9e7d7416538 -- 2.45.1