From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 11 16:41:31 2024 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 To: guix-patches@gnu.org Subject: [PATCH 0/6] coq: Update various packages. Date: Tue, 11 Jun 2024 17:10:02 +0200 Message-ID: X-Mailer: git-send-email 2.45.1 MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard 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-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: Jean-Pierre De Jesus DIAZ 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: -2.3 (--) 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 From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 12 04:58:24 2024 Received: (at 71492) by debbugs.gnu.org; 12 Jun 2024 08:58:25 +0000 Received: from localhost ([127.0.0.1]:37532 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHJoG-0006RG-DB for submit@debbugs.gnu.org; Wed, 12 Jun 2024 04:58:24 -0400 Received: from mail-wm1-f41.google.com ([209.85.128.41]:59768) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHJoD-0006Qr-O4 for 71492@debbugs.gnu.org; Wed, 12 Jun 2024 04:58:23 -0400 Received: by mail-wm1-f41.google.com with SMTP id 5b1f17b1804b1-42281d8cd2dso4463765e9.3 for <71492@debbugs.gnu.org>; Wed, 12 Jun 2024 01:58:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1718182637; x=1718787437; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=WNzZws4dAoqSSEPaVlf5cduv5hyNoDMvvx+1wUqXJ4o=; b=inij8/ldYWahks1gFcDWEWmm0uxn2MCSG0OrfDEC7PqTK+NH1N9oEyYOrNLUYEKXsd 47mCav6598bXj9D76n8Pu3EU9gppZ+6FtV3yf2bF0XlQAc868M/HYFt3HNGVWnomsWYf oWEy9hr0TSKdqIhc2P2qkTl0PKx0UlB2CekGRg2s76Q5F7CtA0hrFR6ibtFiUeUMSeLY JUawwj79VbjDimR5GZwYazi+uP02Dz7JdA20j+2H23BZqP9iqTqWJknNAGBaXBt3to41 eRkj6pT6izBcBPvXwmqmn4N6zFcFe70OvHfPAkqMvcrBuREms4Z7kW4rzp4/ZZm4tb88 Atmg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718182637; x=1718787437; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=WNzZws4dAoqSSEPaVlf5cduv5hyNoDMvvx+1wUqXJ4o=; b=BsKYWk3w//pANKQ4J3yF11lAI5LpKC7S1cJCrHWLWkdkEeUh2PJejF7Kg5Nyk5hqh6 oTy2/Z8C3aenmA1hiX0pkuM2i81Z9pGw8qPGncPa14kak6c60iXLCM4oetJtzFUXhKpI T63/y7VpJpKPORvK0FWVMEj+Gm3Uwqgq+rDD79cv+UhzER604ozsR+wvSSm1b6x1/IT8 7FOL5GX6prdtWtOY6E7YH8bcMRbht7asjJjRpLPjjBNZtbgVHrhar0XPy7KdBdpLRkIQ 3z2dSn4El6WCsGWYPAVS7oXVWx75c0f+UBVlI+oD5OPOSIW0wImZ1HBS9bY167icaNLk lvwA== X-Gm-Message-State: AOJu0Yz2hO8x9T8dpTYghugFvu18xPMvdeDqRH7sRargQJ9C1DZBX7q3 qGsU7Xq6cEDY6WP7CE1iDHSsFKUrqCe3BVHCMZvDB4svZbW5vYOyZvhwHcg+aCWZP44j5KtwjK5 A X-Google-Smtp-Source: AGHT+IEGlahrdnyd7wxbFXkYsnqkm/krRfgugPWwG2fupILdZ9zeDPcgbsz4cqBolyv+O5fJbAEozg== X-Received: by 2002:a05:600c:4e04:b0:421:7f30:7cf7 with SMTP id 5b1f17b1804b1-422861aec47mr12860445e9.1.1718182636484; Wed, 12 Jun 2024 01:57:16 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-42286fe75cfsm17348905e9.3.2024.06.12.01.57.15 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 12 Jun 2024 01:57:16 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ To: 71492@debbugs.gnu.org Subject: [PATCH 1/6] gnu: coq-autosubst: Update to 1.8-0.6ba0acc. Date: Wed, 12 Jun 2024 10:57:08 +0200 Message-ID: <4c09da5d4c9caff71566b129dc60d59023c06b32.1718118200.git.jean@foundation.xyz> X-Mailer: git-send-email 2.45.1 In-Reply-To: References: MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 71492 Cc: Jean-Pierre De Jesus DIAZ 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 (-) * gnu/packages/coq.scm (coq-autosubst): Update to 1.8-0.6ba0acc. Change-Id: Ib705c92b5605c6b679224f471ff12c018842c006 --- gnu/packages/coq.scm | 56 ++++++++++++++++++++++++-------------------- 1 file changed, 30 insertions(+), 26 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 11d6b034f1..81f99bd368 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -518,31 +518,35 @@ (define-public coq-interval (license license:cecill-c))) (define-public coq-autosubst - (package - (name "coq-autosubst") - (version "1.8") - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/coq-community/autosubst") - (commit (string-append "v" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 "0qk72r6cqxwhqqkl2kmryhw365w3l2016qii1q1sk3md7zq46jcz")))) - (build-system gnu-build-system) - (arguments - `(#:tests? #f - #:make-flags (list (string-append "COQLIBINSTALL=" - (assoc-ref %outputs "out") - "/lib/coq/user-contrib")) - #:phases - (modify-phases %standard-phases - (delete 'configure)))) - (native-inputs - (list coq)) - (home-page "https://www.ps.uni-saarland.de/autosubst/") - (synopsis "Coq library for parallel de Bruijn substitutions") - (description "Formalizing syntactic theories with variable binders is + ;; Latest tag does not build with Coq >=8.19, recent commits contain a fix + ;; of the problem. + (let ((revision "0") + (commit "6ba0acccef68c75f6cca8928706c726754d69791")) + (package + (name "coq-autosubst") + (version (git-version "1.8" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/coq-community/autosubst") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0k62ygj3zqcs17nhyalcxgwbs8as3f9kdxx6b6a0d44j0iqqnw0l")))) + (build-system gnu-build-system) + (arguments + `(#:tests? #f + #:make-flags (list (string-append "COQLIBINSTALL=" + (assoc-ref %outputs "out") + "/lib/coq/user-contrib")) + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (native-inputs + (list coq)) + (home-page "https://www.ps.uni-saarland.de/autosubst/") + (synopsis "Coq library for parallel de Bruijn substitutions") + (description "Formalizing syntactic theories with variable binders is not easy. Autosubst is a library for the Coq proof assistant to automate this process. Given an inductive definition of syntactic objects in de Bruijn representation augmented with binding annotations, Autosubst @@ -553,7 +557,7 @@ (define-public coq-autosubst work on a decision procedure for the equational theory of an extension of the sigma-calculus by Abadi et al. The library is completely written in Coq and uses Ltac to synthesize the substitution operation.") - (license license:bsd-3))) + (license license:bsd-3)))) (define-public coq-equations (package -- 2.45.1 From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 12 04:58:25 2024 Received: (at 71492) by debbugs.gnu.org; 12 Jun 2024 08:58:25 +0000 Received: from localhost ([127.0.0.1]:37534 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHJoG-0006RO-TC for submit@debbugs.gnu.org; Wed, 12 Jun 2024 04:58:25 -0400 Received: from mail-wm1-f54.google.com ([209.85.128.54]:59553) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHJoE-0006Qu-LS for 71492@debbugs.gnu.org; Wed, 12 Jun 2024 04:58:23 -0400 Received: by mail-wm1-f54.google.com with SMTP id 5b1f17b1804b1-42249a4f9e4so12072435e9.2 for <71492@debbugs.gnu.org>; Wed, 12 Jun 2024 01:58:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1718182638; x=1718787438; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=b3vRy6a19IG9jNG97CrZikzRt1T6FhAe+I4BTcXNzZc=; b=NKaCE4jw7SfXT9mVUkSCfreLiePp+iPrnDWie3zzSSeLeQutKdL1l40U5pSKLOwUpY YPJL+Eer+jLbW/ao18OCdq35SebJnuBlxT/kFpisNswmTKKtVrepgYisu3SQHzs+1HF2 IWP3jVgMq1TgxDO3TcdxVHpzvvwTmt8Fy2oRwYbnUV53Qqu5bDbngihS+WtA57+DX51L SM+yrS0uY3NyskCVa3vaE8Mx72kXbo0+/JiIHsfIm/M39YVXk28RlVaUz26tva0PQ7M1 4t6BA5fSquyS4RO3qtnoBXvwjWZmnl1tYbvbXSKDx+IAlx0p7w0FHTTABC+26K1KGYwE vrZg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718182638; x=1718787438; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=b3vRy6a19IG9jNG97CrZikzRt1T6FhAe+I4BTcXNzZc=; b=oU1eX5KBGRqLW98DaTiQl9NnKlzYnfIXz6NHD080/3VjT+J32S+2qhDrHgc7LXiRVT df0qnXZ3Nj+tgaOcMmm8rSdNcMYAQAFs2E77o6Y5CfU7B5YHN8Thstyhe5UW7ZnEOtkf z0i4nRh83oAZVgYSYmpWjUWBUDrwBeRGws7mugB+inK324h3yMdXkU5qqPS80dELHxSJ 6fRde6b1Ptmqw6cinyn2Ctf9k/ySuZuPSL3Uert6Smwh2DtKHLG88HOIX6kZNMwoq29Y 6+w0c0VcPKr3RENPx6lZA91Wf43Wdj2zhIEWOfTlTPY+yXQQ5KzdvJpdAY6CUbJsqv9e IX6A== X-Gm-Message-State: AOJu0Yx9HHgmfAE3op3EetBiDgwdtyqsPFCi6hEeutFiTsuYYBoP+3eU EiF/33dkNfyUrPdsU4zWYHIK3jMS9muRi0C9EDxiUs5HfZYMaO/8w2gf0f7Nu+3Cvu1txyek25d 7 X-Google-Smtp-Source: AGHT+IEV8UnxfqbRBla2HolLXzdOrsv1pqI243boRKqxBlkwg1GbV3hgSOmhKDzXbR0Am7peu+TedQ== X-Received: by 2002:a05:600c:4509:b0:421:802a:f43c with SMTP id 5b1f17b1804b1-422862a776dmr11878105e9.15.1718182638074; Wed, 12 Jun 2024 01:57:18 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-42286fe75cfsm17348905e9.3.2024.06.12.01.57.17 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 12 Jun 2024 01:57:17 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ To: 71492@debbugs.gnu.org Subject: [PATCH 2/6] gnu: coq-coquelicot: Update to 3.4.1. Date: Wed, 12 Jun 2024 10:57:09 +0200 Message-ID: X-Mailer: git-send-email 2.45.1 In-Reply-To: References: MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 71492 Cc: Jean-Pierre De Jesus DIAZ 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 (-) * gnu/packages/coq.scm (coq-coquelicot): Update to 3.4.1. Change-Id: I9330c7d98b881c051f4f03dfdf7f1be9e3f26aa6 --- gnu/packages/coq.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 81f99bd368..4b2efb017f 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -388,7 +388,7 @@ (define-public coq-mathcomp (define-public coq-coquelicot (package (name "coq-coquelicot") - (version "3.4.0") + (version "3.4.1") (source (origin (method git-fetch) @@ -398,7 +398,7 @@ (define-public coq-coquelicot (file-name (git-file-name name version)) (sha256 (base32 - "1f6zim6hnm6zrij964vas6rfbxh5p147qsxxmmbxm7gyb85hhy45")))) + "1y22dqdklh3c8rbhar0d7mzaj84q6zyfik7namx5q4ma76s2rx73")))) (build-system gnu-build-system) (native-inputs (list autoconf automake ocaml which coq)) -- 2.45.1 From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 12 04:58:28 2024 Received: (at 71492) by debbugs.gnu.org; 12 Jun 2024 08:58:28 +0000 Received: from localhost ([127.0.0.1]:37538 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHJoK-0006Rn-6O for submit@debbugs.gnu.org; Wed, 12 Jun 2024 04:58:28 -0400 Received: from mail-wm1-f54.google.com ([209.85.128.54]:43142) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHJoG-0006Qw-0Y for 71492@debbugs.gnu.org; Wed, 12 Jun 2024 04:58:24 -0400 Received: by mail-wm1-f54.google.com with SMTP id 5b1f17b1804b1-42179dafd6bso3924885e9.0 for <71492@debbugs.gnu.org>; Wed, 12 Jun 2024 01:58:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1718182639; x=1718787439; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=gB/t7jv+jhQ2YDwvpnrxSgBttTf1unssEjwYQ6gJuDA=; b=Kgow8E/WxXl0HdSwg0ctBp3r+8sx5aNnXeroPuOxlMPUmA+jH7WUXu8bx4wZgxbWPB +iJSL2u9TLfVNePNYqWa+5MKR1hR6H18Dn8FARbOFsDBdQ/kzTIk7aTSZTTSuDMK74// cwJiF3G44tIG7RAuut9u2wqWtMNhcF1ThUi3MxKQpFnCfhTwCkKf8O5rODEcBOb1KyKu CbgrkZFlahgQdu3e11BmnuR7YoKXZs7CBqWrpsrrakoU2pBF39/D0QYvAm6Kb8mBzdq8 d6FWJyTXH/sWpMfNMrzoIGTUQIlrALYHxTHUdnCmsrtqlGzB4v17oN4Nkn7NC8lWJYwb MsAg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718182639; x=1718787439; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=gB/t7jv+jhQ2YDwvpnrxSgBttTf1unssEjwYQ6gJuDA=; b=qXt6F7oRn0cws4HpCMjk/39sF3jG3IIwEKrhmtuPvUdNwprjJE06UAE1T/m0/9IOTy TbFVWqs7lMh62d9Rq0y8AlA4QHnS7/HNzXb77HfJWCxDZIwuWGIHlQKWUJMCSrsoczF1 PpSqgJdmJMWYrhk1i7by7TMwh5Pr1uoaINUzfRSyRSTT1eYoqgnSxzOZLqJeN3QVT0Ba tTIwuK2Uy0UK1UkBcD3xaVOaQuikHwfdoHWnxzYR8GbktIKu6BHUKH3glyZ7ryl2YAXS lDr0WqntZOapeUb+QR/7K+830o8wwloMHBHJeUtc7ji0jfG0vfh5y627keGwneXItKo7 DEig== X-Gm-Message-State: AOJu0YyFuk2KrY2YP5HSaBDWmuIDKTrsNGiy+sJaXa0Po/gkIiKzek3s K1Wv+07XF0dxmDx40G3NAja2drdZGd6VopJOR+VcQZ92gGkeHiLp1OgAJBGcJj3S3OcwVLTkSr6 J X-Google-Smtp-Source: AGHT+IEuw+WXkEJAvIFDeR6SuoiQV2Lg1UonlSdb5LbfLdkqGGfvI7V/W8sLUS1qCJl5MTH0AD4Dog== X-Received: by 2002:a05:600c:548b:b0:421:def3:b0d9 with SMTP id 5b1f17b1804b1-422862af0a3mr11494495e9.7.1718182639546; Wed, 12 Jun 2024 01:57:19 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-42286fe75cfsm17348905e9.3.2024.06.12.01.57.19 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 12 Jun 2024 01:57:19 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ To: 71492@debbugs.gnu.org Subject: [PATCH 3/6] gnu: coq-gappa: Update to 1.5.5. Date: Wed, 12 Jun 2024 10:57:10 +0200 Message-ID: <21519d1b5c85ff8ea3eec86b4e59cda794b53408.1718118200.git.jean@foundation.xyz> X-Mailer: git-send-email 2.45.1 In-Reply-To: References: MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 71492 Cc: Jean-Pierre De Jesus DIAZ 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 (-) * gnu/packages/coq.scm (coq-gappa): Update to 1.5.5. Change-Id: Iaf0077a8081d7ba30aeb1bded3bc36570df88283 --- gnu/packages/coq.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 4b2efb017f..97e797e2de 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -291,7 +291,7 @@ (define-public coq-for-coqtail (define-public coq-gappa (package (name "coq-gappa") - (version "1.5.3") + (version "1.5.5") (source (origin (method git-fetch) @@ -301,7 +301,7 @@ (define-public coq-gappa (file-name (git-file-name name version)) (sha256 (base32 - "1dzkb2sfglhik2ymw8p65khl163xxjsaqji9agnnkvlk5r6589v6")))) + "0w780wk10khzfx6d633dyzx9q0hvqgimqbzc3irjzvsbpvb0zm5c")))) (build-system gnu-build-system) (native-inputs (list autoconf -- 2.45.1 From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 12 04:58:29 2024 Received: (at 71492) by debbugs.gnu.org; 12 Jun 2024 08:58:29 +0000 Received: from localhost ([127.0.0.1]:37541 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHJoK-0006Rr-Mi for submit@debbugs.gnu.org; Wed, 12 Jun 2024 04:58:29 -0400 Received: from mail-wm1-f43.google.com ([209.85.128.43]:57806) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHJoH-0006Qz-JD for 71492@debbugs.gnu.org; Wed, 12 Jun 2024 04:58:26 -0400 Received: by mail-wm1-f43.google.com with SMTP id 5b1f17b1804b1-42138eadf64so17088855e9.3 for <71492@debbugs.gnu.org>; Wed, 12 Jun 2024 01:58:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1718182641; x=1718787441; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=2IfPJmbWbaR9V7clcxn1quZmzGZO5B8wCBVDIlATa2M=; b=MqA8K2pORCipVPsAxsbEFovrYbyO+6uiwOrXseH2Pdak7RucFwHn9dGT2xheseGAml 5KR2jnaBGUEv/TJHqc8pC8XNebpZASVBYfrYWGPyoPwJhAb8z9N/zJoDTcMnPD3htK4k W63QjeiDSEnQZg8iSMHCAEm0H3hbBY1XpoA7T68Mxkae9OMZNde2LFkno1caMao57R31 cVIdLpgY+mVandsMz384nCCtPOXqTdldiRyJU6whnY8QnJrJJ89ub1+r2eORwqGTDz7m FyXbR8F73FhKMKJq9JQ+6FnP8ns4PNUJvNlqZbbM2qMHykvxFsJOradfvAggSF6fqycO 5geg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718182641; x=1718787441; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=2IfPJmbWbaR9V7clcxn1quZmzGZO5B8wCBVDIlATa2M=; b=Jedoxd+xD2zCvuAHVmgDwnq95J/uscBFv8wRduHTPvX4SkIgrSxW8KcJdp12F70Yrr e92RSRDq1UBM5b1mWsw7pTuVIN2YC/eJA1ZsgnJQAC3NGFL12lxO8nJrZYAZv1RNOO6H TqgkHIP/BTnrPG+ZrYdmo5Bxivr3OKrJcNYei7T3L791pIhNDQ/vUTTwuH5KdK65ykwx BcyCPf8dz1dWkHBDzWaW9b9zpdGtexZfmcGJsOevf7sLzs7xcnPL8mCVQgRoBh4liHkk YiXVhL4ZvLWbSVfH4CgYsDowl3QgH/Nb9eDIhfqv6PB7ncYvWTEzRJgFwzubDWDxnj4g 8unQ== X-Gm-Message-State: AOJu0Yyd9XwNCMgr6XEoLUmvhIPR3m7TgdQv/Uqu9YWVF6WlEBanyux6 lPjIakM8qbv2+Db9s3y9urXmj3kA1N4JaWB4JWqGO36+vuNai8Or/+6pnqB9DvIn9WoBO/OeavF k X-Google-Smtp-Source: AGHT+IEGx2uCT5dUbT88b1IRwO8e2AzMB6Yr2RM5HQSvUshD3HlwmePiGUks2mul29sRC/1Ym5S10w== X-Received: by 2002:a05:600c:3ca2:b0:422:5443:96aa with SMTP id 5b1f17b1804b1-422862acbe6mr11166305e9.15.1718182640890; Wed, 12 Jun 2024 01:57:20 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-42286fe75cfsm17348905e9.3.2024.06.12.01.57.20 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 12 Jun 2024 01:57:20 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ To: 71492@debbugs.gnu.org Subject: [PATCH 4/6] gnu: coq-interval: Update to 4.10.0. Date: Wed, 12 Jun 2024 10:57:11 +0200 Message-ID: <04948e867e3b0d26fc443e2302ad2344d5e4b28c.1718118200.git.jean@foundation.xyz> X-Mailer: git-send-email 2.45.1 In-Reply-To: References: MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 71492 Cc: Jean-Pierre De Jesus DIAZ 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 (-) * gnu/packages/coq.scm (coq-interval): Update to 4.10.0. Change-Id: If5be16804fefdca04b52a91cf3f52484c486fea8 --- gnu/packages/coq.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 97e797e2de..30c5a09665 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -471,7 +471,7 @@ (define-public coq-bignums (define-public coq-interval (package (name "coq-interval") - (version "4.8.0") + (version "4.10.0") (source (origin (method git-fetch) @@ -481,7 +481,7 @@ (define-public coq-interval (file-name (git-file-name name version)) (sha256 (base32 - "0m3icx77p99ld9qfl3xjq62q572pyi4m77i1kc3whvipvg7834rh")))) + "039c29hc8mzp2is6zh9fps36k03hlvx6zz08h03vj6dhjgr7njz8")))) (build-system gnu-build-system) (native-inputs (list autoconf automake ocaml which coq)) -- 2.45.1 From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 12 04:58:29 2024 Received: (at 71492) by debbugs.gnu.org; 12 Jun 2024 08:58:30 +0000 Received: from localhost ([127.0.0.1]:37543 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHJoL-0006S5-8R for submit@debbugs.gnu.org; Wed, 12 Jun 2024 04:58:29 -0400 Received: from mail-wm1-f41.google.com ([209.85.128.41]:57363) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHJoI-0006R1-VG for 71492@debbugs.gnu.org; Wed, 12 Jun 2024 04:58:27 -0400 Received: by mail-wm1-f41.google.com with SMTP id 5b1f17b1804b1-42165f6645fso17107355e9.2 for <71492@debbugs.gnu.org>; Wed, 12 Jun 2024 01:58:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1718182642; x=1718787442; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=AccJ0mCIMoHABVRUxxUTwPOi3IDaoUN9RZsHETKyvjs=; b=d8O83m55sepeo82RjK3MbcRDiXf6xo2PRvybGOl1kOkMLXS4+BQSlBSKHsjm2AvV4p LiLfbIAsS1aZOo/HDPojxz1vqT6kP0F0F0sahMDrPFiYSmUrKhvOMmTChAGvFfYtKyxP 5d8BHeaKcO6q6hNOkQO1dw24o+Puvm/y8ldftdADwNXuhQyGJnQGsH0MZqd/7M1B5FpG VJg9mi6enp8aatPi9lHmTaLCzCQ2AL1NMizQgqMkl1Zdla1wHYAG82mNqNHa8inlHgF/ 5jfNl/V8Ee/03BDvWTs/5KNW5VYgK14rGPc335MF/yRdaaMR8MnAPfMt8N+xVi55h/po 6iKg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718182642; x=1718787442; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=AccJ0mCIMoHABVRUxxUTwPOi3IDaoUN9RZsHETKyvjs=; b=g1QnfP1jCp63OlJaCazJuqhTtXYIa1ehfLU+VwFuOfgnL5bKph4Gufi1NOfviwLt1Z N+jeqyf61d1h07KaLlkvgyHD+1gT4if9HZN18cn7nT5dJmqlr9ZIJZ/br0rWaJ44msEx k0E63CClktJ+Q6Tc8tTSDyBXX7TSMbpU/SwrCuCxLzp3QjQqGWbAvxmXyDpy/SaEY8vw oufzBLx8PEuOh3U5mo8yq4H2gciF1bf7sM5l73pfGQQ7rwH08xgO5FPh+3ERiUtRkH87 6OWQwlm9SdhW/Ed/N8oLHySQik6LCO3wjnssF0zXgHxNaF+DlfpfTWCYjcOwl3qW5k4f masA== X-Gm-Message-State: AOJu0YziIbYGZX/wAIhYise4IArTNqYcUL/kT8g0iXvKZ6v2U0ZUcVIZ SC8Z3Ef6PaglKGLN5Mm7IohL0KfiaTQAxJ6RzUKvjwqy8Y2eLXZ6jzZI6qnyuvX+EIx1cbSLzFA D X-Google-Smtp-Source: AGHT+IHVo4bLPzv4Img+vZd2DVM7AlC7UjDILtOwUQn8rLmERlM7oD4NwAjnV/O014ZqRk8IZSBcog== X-Received: by 2002:a05:600c:1d87:b0:420:177f:c2a6 with SMTP id 5b1f17b1804b1-422862acb2amr13359285e9.10.1718182642152; Wed, 12 Jun 2024 01:57:22 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-42286fe75cfsm17348905e9.3.2024.06.12.01.57.21 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 12 Jun 2024 01:57:21 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ To: 71492@debbugs.gnu.org Subject: [PATCH 5/6] gnu: coq-mathcomp: Update to 1.19.0. Date: Wed, 12 Jun 2024 10:57:12 +0200 Message-ID: X-Mailer: git-send-email 2.45.1 In-Reply-To: References: MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 71492 Cc: Jean-Pierre De Jesus DIAZ 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 (-) * gnu/packages/coq.scm (coq-mathcomp): Update to 1.19.0. Change-Id: Icf72f91c09aa0504d7175d437a1cf75020751335 --- gnu/packages/coq.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 30c5a09665..18fc116bd6 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -351,7 +351,7 @@ (define-public coq-gappa (define-public coq-mathcomp (package (name "coq-mathcomp") - (version "1.17.0") + (version "1.19.0") (source (origin (method git-fetch) @@ -360,7 +360,7 @@ (define-public coq-mathcomp (commit (string-append "mathcomp-" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "06i6kw5p2024n6h9mf8bvwn54il1a4z2h4qrgc8y0iq8hkvx4fnd")))) + (base32 "0dij9zl2ag083dzgrv2j16ks2kkn2xxwnk1wr5956zw1y7ynrzb3")))) (build-system gnu-build-system) (native-inputs (list ocaml which coq)) -- 2.45.1 From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 12 04:58:34 2024 Received: (at 71492) by debbugs.gnu.org; 12 Jun 2024 08:58:34 +0000 Received: from localhost ([127.0.0.1]:37545 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHJoP-0006SL-WB for submit@debbugs.gnu.org; Wed, 12 Jun 2024 04:58:34 -0400 Received: from mail-wr1-f47.google.com ([209.85.221.47]:47301) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHJoK-0006R4-58 for 71492@debbugs.gnu.org; Wed, 12 Jun 2024 04:58:28 -0400 Received: by mail-wr1-f47.google.com with SMTP id ffacd0b85a97d-35f188e09a8so3267202f8f.2 for <71492@debbugs.gnu.org>; Wed, 12 Jun 2024 01:58:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1718182643; x=1718787443; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=UBNxBssUjsSRJVc6GuWlLwHk83DEdbRvrScKjEB577c=; b=Ee+UxI3MXWN40bRQ0A8Cd1Z17YHS7tf3u2apRBRGq61qlzLc4kXXLBltv2WWqSLcxz KoMwpTnY6PWVWb6ReY/syajDRvZDoKh5tCqj2MIzAiQUWiZnfKEwZQchfaDCpElfVYaR HS/3pvkV3EAaRD5RXC6cbgb2S0D79Fs/MjKxx2cFfi+vVq4Fl8AtrurBDYYDT27mtLSA /3swcThAxbBfpkvUrx+Lx9nC7ibw5woO8fj5MCTizGyKiEiSODbBGmltO2OSj1DmaQKD nQa4U9OQ+rUGosAiWWPWu8UlOZAWrdYQ/EIznNItyoc4W2VWnn4TNd4vK+0n2HaHgYTJ P/Ow== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718182643; x=1718787443; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=UBNxBssUjsSRJVc6GuWlLwHk83DEdbRvrScKjEB577c=; b=nlnbrhZ44rt8hajnABlEe1iYoFUmKKlM+3h0Z7FUDKSYsG6AwNqIAYo2s15hnVRE+x eQKTqRt4jjY3k8hm+PpVeok5c9y3Yh/7k6t1xW/R6y2rdU8hxfwRdEQQD0ovTcBvSX+a plEPPp9eLAYrOo998hi7MKa1FZp/zqaBhMOjaQ8S1J3PwVVXLcHcQceWKQnvC+o3SVvp FJ3g+ZlpYkmAMW3ghnTSC0+fa4w1zzCeiAKt3NA8VPamvSIP7viQtEKgXjJN7i+mFnGh vDcXyP/fWpdgt69wTt00c0vurtLxJ8ZesEOPNE5AuxqAb085XThrJetWrqwu+LXGqY7J HIyw== X-Gm-Message-State: AOJu0Yxm3t3+ZwnucbHjNBzxUgmSOEnRZPkT9aGfo0f/2DFv73Xec1Va pxzwDEBcfEWEyPjt5DCM2w1qfKrp0ZI5FNv1wdSwLBIPPU99n2nQYCwR9PW9P6gS9OlOF57U4QM k X-Google-Smtp-Source: AGHT+IGcQd1+xV1vUxEFlsYQZ1f4ZEyeinV7KAkOzgyTgxtUxkEgpX/2n+2w/1e3Hsykj9DK/lD9+g== X-Received: by 2002:a5d:64ca:0:b0:35f:29a8:2abc with SMTP id ffacd0b85a97d-35fe89106dbmr1039386f8f.56.1718182643463; Wed, 12 Jun 2024 01:57:23 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-42286fe75cfsm17348905e9.3.2024.06.12.01.57.22 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 12 Jun 2024 01:57:23 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ To: 71492@debbugs.gnu.org Subject: [PATCH 6/6] gnu: coq-stdpp: Update to 1.10.0. Date: Wed, 12 Jun 2024 10:57:13 +0200 Message-ID: <3a85975c3b193cbcbba65109fa0bae6538e54379.1718118200.git.jean@foundation.xyz> X-Mailer: git-send-email 2.45.1 In-Reply-To: References: MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 71492 Cc: Jean-Pierre De Jesus DIAZ 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 (-) * gnu/packages/coq.scm (coq-stdpp): Update to 1.10.0. Change-Id: Icea37b785c03196baa88a92ced3ac9dc25079546 --- gnu/packages/coq.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 18fc116bd6..0fa0753826 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -649,7 +649,7 @@ (define-public coq-semantics (define-public coq-stdpp (package (name "coq-stdpp") - (version "1.8.0") + (version "1.10.0") (synopsis "Alternative Coq standard library std++") (source (origin (method git-fetch) @@ -659,7 +659,7 @@ (define-public coq-stdpp (file-name (git-file-name name version)) (sha256 (base32 - "0xawh3xkh76yhs689zw52k55cbzga2gyzl4g1a3pgg6yy420chjn")))) + "0lnvdfn4qq2lyabiq4ikb5ya46f4jp59dynyprnhki0ay9xagz3d")))) (build-system gnu-build-system) (inputs (list coq)) -- 2.45.1 From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 12 15:18:08 2024 Received: (at 71492) by debbugs.gnu.org; 12 Jun 2024 19:18:08 +0000 Received: from localhost ([127.0.0.1]:43238 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHTTz-00063l-Rk for submit@debbugs.gnu.org; Wed, 12 Jun 2024 15:18:08 -0400 Received: from nanein.fr ([185.230.78.41]:54584) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sHTTx-000632-0U for 71492@debbugs.gnu.org; Wed, 12 Jun 2024 15:18:06 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1718219879; bh=lHQaz3hdqZKCkLctNB/r2hE544msrFbZ8xZVq5OaGog=; h=From:To:Subject:In-Reply-To:References:Date:From; b=ndXz57/ZipuoN0xzDLisWITFaRrTWfpb/LBYwWL7RtqrhS82nHjDsMvd+w3oPFi6+ RY3/c1DRb94PvXpvztT2veMEQ1dk/aqrZ5gsTMxYv01dNJIuh0QgF7AzwYJpyK6gIQ tPWpQdUusATwrxgk+LVVqC+sUdf4g8bjKev/5GoFBewgfhWS+bMMgTiF3n7PfNbAdV elc4s8zEoTiIQio/ff7RJ8VI9ZCmHrFJNifMGYLyhBjCFmoPfXzPnxYR6QiVVbONrO bW5v4SRiZmZNDpXw65OYvCqPr7fKvIV8YJRq8fC3fK4GX0UjNQ/aMb86OXvXCC6hCS NiPHP/OWTfonpyYrvGmikJLnHO47YsTFqwjaKb62apQUsxiAN2fOfYlZPREsIeNyYt T6o4/yvNsuq4atiyvT0u0/OZzUMEqp90ZQpxpiNWTvHEXFAxuISHsxbQYzwg0pJR6/ I46FsavUe+9cikY5rfSMDPBvQopvJnz0a4Foewd2wCaP875mkDyXUwH4axjurRRP/g v5tI5+YXvJp4siXzFBXvua2TTZ2imDOu5G56btvG29U/C0fTZrC1bnsDWAhEtBrEHi jkPXpdgrdp2EEZRifEUHLL5XzKClBcBaQEN83DrS/89hOHPGUhyXg5qCKvqJmDav9/ iIRMEvSKhn2mXBaPCrssq/zQ= Received: from arnaudGuixPortable (wg.nanein.fr [IPv6:2a0c:700:12:50:1::109]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (prime256v1) server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id 4D475140266 for <71492@debbugs.gnu.org>; Wed, 12 Jun 2024 21:17:59 +0200 (CEST) From: Arnaud Daby-Seesaram To: 71492@debbugs.gnu.org Subject: Re: [bug#71492] [PATCH 0/6] coq: Update various packages. In-Reply-To: (Jean-Pierre De Jesus DIAZ's message of "Tue, 11 Jun 2024 17:10:02 +0200") References: User-Agent: mu4e 1.12.4; emacs 29.3 Date: Wed, 12 Jun 2024 21:17:51 +0200 Message-ID: <87le3aezs0.fsf@nanein.fr> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 71492 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 (-) --=-=-= Content-Type: text/plain user guix usertag 71492 + reviewed-looks-good thanks Guix QA review form submission: Items marked as checked: Package builds, Commit messages --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCgAuFiEEMgqfJ4U0fby1t860ojLKXoMTiAwFAmZp9GAQHGRzLWFjQG5h bmVpbi5mcgAKCRCiMspegxOIDIw6D/9SHz5NtFf5Cu9kKIZj9VKHScGL5t/ZwfC9 euyZOYMmIfWUAQH4Jmt3hkgCHP89rIxomJTvYmrjQuizkQym6bekeng9CbSd/kYg mmCGPWbpTcLQTQArj0scd0lW/tK41cvcQHdbd8YQWlg51imlG6OgJXnWJul0pppH beuQJpgQQhadGJGKV9DblNvtgRue2jkrmzi9RHbpal7RnmDd/QVSoFmzqM0S4qCv HVumCyqslfl01Eto0TIFRY+NEZCLjGoUsOKrc9vV64LDEXaQ0brzkQ8w1HDGwPlP VPS6cmjrF/F7vsdz6PWn4hZtKMH40GuMveBQ7nidvZT0yGJm2KtO82B6Aa/9lTrJ fVBmuLKMZgHdqLp/01UwvhzSwq+bRZC84r7vuR88iZtdvMK5wa4ptzWylWwi8xGF vk8ntJ0kUtHV542+yibzPkD2HKyVWjQNmn+Efv9v4wVJYQOhQhNcThlw++MSHLCn yCQI0r7mNQ9xIENWIxHlEb1xPkG/4NyD6OhEeSx0WZ21bS+JTC09F7B0diI8riXe AY9b3zvA3h9fJL/FWB0jGDWp3xA1Nnf3gMU5C/pplWL6NVmU9iCsGZ1+pmU+0b2p +xcGxFyUGXbaw4O2yGZX4HJ1v8RauU2d3/I+uTQxJZOeDw9/DkpT/GmOdVXBv7qW vYDj5Q8zbQ== =93ax -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Fri Jun 14 14:17:54 2024 Received: (at 71492) by debbugs.gnu.org; 14 Jun 2024 18:17:54 +0000 Received: from localhost ([127.0.0.1]:40917 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sIBUn-000510-QJ for submit@debbugs.gnu.org; Fri, 14 Jun 2024 14:17:54 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:60478) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sIBUl-00050g-8h for 71492@debbugs.gnu.org; Fri, 14 Jun 2024 14:17:52 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id B065A12A1; Fri, 14 Jun 2024 20:17:44 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id G7Fxw5bsuSSh; Fri, 14 Jun 2024 20:17:44 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:861:c4:f2f0::c64]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 3CA692EA; Fri, 14 Jun 2024 20:17:44 +0200 (CEST) Date: Fri, 14 Jun 2024 20:17:42 +0200 From: Andreas Enge To: 71492@debbugs.gnu.org Subject: New release? Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 71492 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 (-) Hello, thanks for the patches and the review! So far I have pushed all patches but coq-autosubst, since I feel a bit uneasy about non-released versions. Even more so since this is not the only required change for Coq 8.19. In general we prefer to only add the fix with a patch; this can often be the relevant commit from git. Or maybe you could ask for a new release on their communication channels? Andreas From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 17 08:26:51 2024 Received: (at 71492) by debbugs.gnu.org; 17 Jun 2024 12:26:51 +0000 Received: from localhost ([127.0.0.1]:33017 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sJBRj-0003jU-8K for submit@debbugs.gnu.org; Mon, 17 Jun 2024 08:26:51 -0400 Received: from mail-wm1-f48.google.com ([209.85.128.48]:44507) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sJBRh-0003jH-1G for 71492@debbugs.gnu.org; Mon, 17 Jun 2024 08:26:50 -0400 Received: by mail-wm1-f48.google.com with SMTP id 5b1f17b1804b1-4217a96de38so31293175e9.1 for <71492@debbugs.gnu.org>; Mon, 17 Jun 2024 05:26:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1718627141; x=1719231941; darn=debbugs.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=BmqtnqQyiLZMVERtrORkjeYhzuPdd5cO5oO+RJQIDAo=; b=oKdvop9vfSpiLZgfDTz0QOldrLnLM8s4zvpIcMsjAaBE0jnfXOJ+4R1PR4g3r9BYgQ 6ClKZeeVPsYtVgkc2US5Hd5JgtlggWKIywwyawBOgFaRcdXIFau6OhtE+QUKb5Vcyz/7 ZnRsKSZL1Z+jAXfM0F5kE+BCIdvr9ZVK45eVTOHeSOYrSFloc5QIvKeyMAzxtc2Xtaza wfR2Jz1b8uExaPHaGGYfqrtS6g2h3vDOAAfdL6lpRRe0bh7VPkmPc5tnsI4ofpnoMrmp ud/XweGo8aTMQy+IAnO+iY+bZ86finjwHt9743SJq5fGBKOI0+8vewqO7T+mv1gg6unT X0PQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718627141; x=1719231941; 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=BmqtnqQyiLZMVERtrORkjeYhzuPdd5cO5oO+RJQIDAo=; b=QoLaATyY70UxjxGSx9zqVwcQhgMBkmQWDvsltnmM0OGkcLszQYQ31WsqIHBkl/0h8r k1iOGBc4k09RlppKvaM3ScsMqurY8w82wur5B1V/56vKd2CBsBpc7qDhnTIUXMZ5++fY HcdiniMMkNMf2tYWKOGh+elAZ3QlgSJ5rZ/Q6Jt73PiM9+Zs0JqR9FL/bO2SIBloCaYY Uv+0z6ebAb51+DRtoAqEMtw8sCbh3FE/GqKlCROwU+9NGFM8Vz8C8/gbux55B4FjIcwB iG6hH8vkb8XcKWZwGUrcm0TRjaLYri1uuab8xh3SyyJeSbzeAu2Uk0gmR1sYnox9lmoo 1DMA== X-Gm-Message-State: AOJu0YzECXlWWK8zNwx/VYiAeUn+/jHB9B87T8w+qDaeEArkfktu/M6R jdsoeT9v7v1QUaLqc9uSvPinDKFgT6De8q5T2INavwjFJWl6pB6j5nSZC8JCFtWMxEVr/qf776/ n X-Google-Smtp-Source: AGHT+IFlo97dqEY28gki+Lv08CL3uG9UdbBVD7Sul4smUF5OlzZsubcxw7nbN15Mq1IwrRgsj4miAw== X-Received: by 2002:a05:600c:444f:b0:422:5b78:1c8f with SMTP id 5b1f17b1804b1-42304811928mr73182155e9.8.1718627140913; Mon, 17 Jun 2024 05:25:40 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-422870e96f9sm196983165e9.26.2024.06.17.05.25.40 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 17 Jun 2024 05:25:40 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ To: 71492@debbugs.gnu.org Subject: [PATCH v2] gnu: coq-autosubst: Fix Coq 8.19 compatibility. Date: Mon, 17 Jun 2024 14:25:35 +0200 Message-ID: <241e20259f230e3e7d080fe209830957af0a5f8e.1718627005.git.jean@foundation.xyz> X-Mailer: git-send-email 2.45.1 MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 71492 Cc: Jean-Pierre De Jesus DIAZ 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 (-) * gnu/packages/patches/coq-autosubst-1.8-remove-deprecated-files.patch: New patch. * gnu/local.mk (dist_patch_DATA): Register patch. * gnu/packages/coq.scm (coq-autosubst): Use Coq 8.19 compatibility patch. Change-Id: Ib705c92b5605c6b679224f471ff12c018842c006 --- gnu/local.mk | 1 + gnu/packages/coq.scm | 4 +- ...utosubst-1.8-remove-deprecated-files.patch | 43 +++++++++++++++++++ 3 files changed, 47 insertions(+), 1 deletion(-) create mode 100644 gnu/packages/patches/coq-autosubst-1.8-remove-deprecated-files.patch diff --git a/gnu/local.mk b/gnu/local.mk index 83b7402b09..f591317610 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1081,6 +1081,7 @@ dist_patch_DATA = \ %D%/packages/patches/converseen-hide-updates-checks.patch \ %D%/packages/patches/converseen-hide-non-free-pointers.patch \ %D%/packages/patches/cool-retro-term-wctype.patch \ + %D%/packages/patches/coq-autosubst-1.8-remove-deprecated-files.patch \ %D%/packages/patches/coreutils-gnulib-tests.patch \ %D%/packages/patches/cppcheck-disable-char-signedness-test.patch \ %D%/packages/patches/cppdap-add-CPPDAP_USE_EXTERNAL_GTEST_PACKAGE.patch\ diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index f0c09bdef9..7a8a49208a 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -528,7 +528,9 @@ (define-public coq-autosubst (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "0qk72r6cqxwhqqkl2kmryhw365w3l2016qii1q1sk3md7zq46jcz")))) + (base32 "0qk72r6cqxwhqqkl2kmryhw365w3l2016qii1q1sk3md7zq46jcz")) + (patches + (search-patches "coq-autosubst-1.8-remove-deprecated-files.patch")))) (build-system gnu-build-system) (arguments `(#:tests? #f diff --git a/gnu/packages/patches/coq-autosubst-1.8-remove-deprecated-files.patch b/gnu/packages/patches/coq-autosubst-1.8-remove-deprecated-files.patch new file mode 100644 index 0000000000..cc76672798 --- /dev/null +++ b/gnu/packages/patches/coq-autosubst-1.8-remove-deprecated-files.patch @@ -0,0 +1,43 @@ +This patch compatibility problems with Coq 8.19. + +It was taken from the master branch of coq-autosubst as there is only +this change since version 1.8 of autosubst and they haven't released a +newer version yet. + +To recreate this patch: + +wget https://github.com/coq-community/autosubst/commit/97eea491813b691c6187d53d92ae6020874a82a3.patch \ + -O coq-autosubst-1.8-remove-deprecated-files.patch + +From 97eea491813b691c6187d53d92ae6020874a82a3 Mon Sep 17 00:00:00 2001 +From: Pierre Rousselin +Date: Sun, 15 Oct 2023 14:34:31 +0200 +Subject: [PATCH] Remove deprecated files in Coq.Arith + +This is necessary for Coq/Coq:#18164 +--- + theories/Autosubst_Basics.v | 4 ++-- + 1 file changed, 2 insertions(+), 2 deletions(-) + +diff --git a/theories/Autosubst_Basics.v b/theories/Autosubst_Basics.v +index 477c87c..1940c3b 100644 +--- a/theories/Autosubst_Basics.v ++++ b/theories/Autosubst_Basics.v +@@ -5,7 +5,7 @@ + *) + + Require Import Coq.Program.Tactics. +-Require Import Coq.Arith.Plus List FunctionalExtensionality. ++Require Import Coq.Arith.PeanoNat List FunctionalExtensionality. + + (** Annotate "a" with additional information. *) + Definition annot {A B} (a : A) (b : B) : A := a. +@@ -240,7 +240,7 @@ Lemma plusSn n m : S n + m = S (n + m). reflexivity. Qed. + Lemma plusnS n m : n + S m = S (n + m). symmetry. apply plus_n_Sm. Qed. + Lemma plusOn n : O + n = n. reflexivity. Qed. + Lemma plusnO n : n + O = n. symmetry. apply plus_n_O. Qed. +-Lemma plusA n m k : n + (m + k) = (n + m) + k. apply plus_assoc. Qed. ++Lemma plusA n m k : n + (m + k) = (n + m) + k. apply Nat.add_assoc. Qed. + + Lemma scons_eta f n : f n .: (+S n) >>> f = (+n) >>> f. + Proof. base-commit: f9ed5788fda9288301550c641820d422e9ad1602 -- 2.45.1 From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 17 08:31:48 2024 Received: (at 71492) by debbugs.gnu.org; 17 Jun 2024 12:31:48 +0000 Received: from localhost ([127.0.0.1]:33125 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sJBWW-0003w2-78 for submit@debbugs.gnu.org; Mon, 17 Jun 2024 08:31:48 -0400 Received: from mail-vs1-f51.google.com ([209.85.217.51]:44149) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sJBWT-0003vm-Op for 71492@debbugs.gnu.org; Mon, 17 Jun 2024 08:31:46 -0400 Received: by mail-vs1-f51.google.com with SMTP id ada2fe7eead31-48c3957a7c5so1661832137.0 for <71492@debbugs.gnu.org>; Mon, 17 Jun 2024 05:31:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1718627438; x=1719232238; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=aEJW+w/s/L5KCsISi3Gy/2g4NwYZTfqbtw6Rmtox1/U=; b=kQN5jI9vn0DuwJhPwC4ew24ALv/sN7l22CHpj0gulYDSLFobMKkmjhbReYno8eZr85 qQYJrfw1x3c+no+cQ2Xo6GeWoG0tgHhsxqBby8PNn45DzscCIfUVrLcI/uPNYGHPp9CU qsXiCMv2i/UkxTVdKgkjAStDuEX3JnDjEeuGkG5buaN4klmhSHrW6f7GDTljnF0K3bGv KVS9LK0W6jh62/JJ7+I1zi4YYfKgVKXZ6Gs+QNEfo7/JoGc53cCK9Gd5afAhfQGUoQ5y 5sFav3BTJi/1h4v3fv9PMv/ixUITg0x/6CuOH46w3mU5r+7xv00AX9Oxfo34OCGraPEA LKsg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718627438; x=1719232238; h=cc:to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=aEJW+w/s/L5KCsISi3Gy/2g4NwYZTfqbtw6Rmtox1/U=; b=DmzMcOWBrvIpFBH0ggz5H0bHkka5Gkyt0i4/PrOt8WP1fEZJk9dQ+isSqoS5vYY0KG FQRy9Js0+4b1QEhFovMAubbeiHVdAMuSh3HIZcZFspMYvVeMhZshpCRfsNvsfFUp6969 nynybe3inbpY9uUzJZBBT+0h5ylmCq6v2418Xshz/vZKpOQFXcTgQZYCy1WHW2xTvoXd 02HDdS26Cl+8+Z2O8RSNQJWx7YC77xPebD4svDasZ6Hd5wTW6L9fuMlHDThfrO7re/DZ kBs42SSUljIO4ET24oTlIZEjnsWHc93+8j0arq7Cgm3DI+NjuI/R+JKTZ1Sj3ni6XNz7 myHg== X-Gm-Message-State: AOJu0YzBAXydXKLgJ332Vuoq8nmd6nEHN8MS0FK4WFGZEtc+U4wca6xN 26Jg9xOec9Bc7DsWoPXKh7nKec6i6TEwdvbSglfdi/J4yt1Dky6x7V0Zp552+9l5Ei6Pf8dffPh PZYdBZ9x5j2h59bjbEp/KKvBfThu6HXH7R4EBxWTL7j+pF3B0 X-Google-Smtp-Source: AGHT+IGvsHJ4Azgz/OMGZrbULsO3AhLhIBsZTR9yU9kV6e+KHYCCiEUIktjus+4y+RcfXoFjQB1TJmha/iVBTNreXHs= X-Received: by 2002:a05:6102:3090:b0:48c:3aeb:3691 with SMTP id ada2fe7eead31-48dae338336mr7513778137.20.1718627437840; Mon, 17 Jun 2024 05:30:37 -0700 (PDT) MIME-Version: 1.0 From: Jean-Pierre De Jesus Diaz Date: Mon, 17 Jun 2024 12:30:26 +0000 Message-ID: Subject: Re: New release? To: 71492@debbugs.gnu.org Content-Type: text/plain; charset="UTF-8" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 71492 Cc: andreas@enge.fr 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 (-) Hello, >So far I have pushed all patches but coq-autosubst, since I feel a bit >uneasy about non-released versions. Even more so since this is not the >only required change for Coq 8.19. In general we prefer to only add the fix >with a patch; this can often be the relevant commit from git. Thanks for merging the patches, I've sent a new one to this issue to change the coq-autosubst package to use a patch instead of an unreleased version since that's the only commit that has happened since v1.8 and it is quite small. I'll ask if they can release a new version in the meantime so that we can remove the patch in the future. Cheers, Jean-Pierre From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 23 05:51:10 2024 Received: (at 71492-done) by debbugs.gnu.org; 23 Jun 2024 09:51:10 +0000 Received: from localhost ([127.0.0.1]:52092 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sLJsJ-0001Hl-Ow for submit@debbugs.gnu.org; Sun, 23 Jun 2024 05:51:10 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:36990) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sLJsD-0001Gv-Me for 71492-done@debbugs.gnu.org; Sun, 23 Jun 2024 05:51:06 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 0F7BA430; Sun, 23 Jun 2024 11:50:25 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id N79aSuiGFUyS; Sun, 23 Jun 2024 11:50:24 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:861:c4:f2f0::c64]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 83642102; Sun, 23 Jun 2024 11:50:24 +0200 (CEST) Date: Sun, 23 Jun 2024 11:50:23 +0200 From: Andreas Enge To: Jean-Pierre De Jesus Diaz Subject: Re: New release? Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 71492-done Cc: 71492-done@debbugs.gnu.org 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 (-) Hello, Am Mon, Jun 17, 2024 at 12:30:26PM +0000 schrieb Jean-Pierre De Jesus Diaz: > Thanks for merging the patches, I've sent a new one to this issue to change > the coq-autosubst package to use a patch instead of an unreleased version > since that's the only commit that has happened since v1.8 and it is quite > small. > I'll ask if they can release a new version in the meantime so that we can > remove the patch in the future. thanks, excellent, I have pushed this commit. I am closing this bug now and let you open a new one once more Coq related patches are ready. Andreas From unknown Thu Aug 14 21:54:04 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 21 Jul 2024 11:24:13 +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