From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id 6JWrF/xKYmeDDQAA62LTzQ:P1 (envelope-from ) for ; Wed, 18 Dec 2024 04:09:32 +0000 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id 6JWrF/xKYmeDDQAA62LTzQ (envelope-from ) for ; Wed, 18 Dec 2024 05:09:32 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=V1AIdOXc; dkim=fail ("headers rsa verify failed") header.d=outlook.com header.s=selector1 header.b=qvLrKnqq; 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"; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=outlook.com (policy=none); arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}") ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1734494972; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=K5ELv4y9fXAZpcHkHEeNbVJud3rinNBVLKyrruxOERk=; b=lnyeI9I07uijwTWLQytiG+JlHNmruH5Y3jHJKRRPUGvY8J+Ce6UJE4re22kDR4BvI1IlPO cG9FFaGafUnuvmXJiNGp8e7S2BfiVAWFgVLV20lgSJA+rwR/S88oMzhsqM1nqmyn7G+xC/ lhhpt+VsmTiY6mJHjajeacGdbk9RD1ArfTHAxDKEK9JRW9k2pQZ2kZo4xMJ5dgpDPS9t4i 641qSSJXM1tQvYy8IdLPAFrL9PFV6+JtfeW5pqjUX37VL+fDUhbnO873T5exfqUTL18S/i V4bFOESG06woIYNzm1686yJThcar5WnI0Vbm8Exww+wiXwVj422yBjXv4Aorcg== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=V1AIdOXc; dkim=fail ("headers rsa verify failed") header.d=outlook.com header.s=selector1 header.b=qvLrKnqq; 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"; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=outlook.com (policy=none); arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}") ARC-Seal: i=2; s=key1; d=yhetil.org; t=1734494972; a=rsa-sha256; cv=fail; b=W0wpEniUSDbA23xZ3/gikHfg7vCwlllqxec2JgMTQEAqCiUYh5VrZc6SndYD0cB2EZmKBa SGGDYCLjhzxayc5Z0aYXXwxCL1T+8uThTJwxt6y5mMxSr8RvCcvazrBJyhtlL8ml+LrChT jbTqEY8rYj5WjwQxYsaAK4n75Rzn6udhJHkZYeNzcmvKtokdjBoTY7edDDc0WAqhrP62nm lpBTFM8jaQ6YIkdX3kfFSOUD0B8kJwpzxgZknXq2iBIXneJ9glt6cPoEwx3PL9K03EQzzc aJRbtoITJDKAhcUAR6NnKSEh5cnMuxEejWt2Ifq2suojoJoYXA4aZsUtM6BAlg== 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 11B0E65D8B for ; Wed, 18 Dec 2024 05:09:32 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tNlMz-0007by-AQ; Tue, 17 Dec 2024 23:09:09 -0500 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 1tNlMx-0007bj-Ry for guix-patches@gnu.org; Tue, 17 Dec 2024 23:09:07 -0500 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 1tNlMx-0002Gv-B8 for guix-patches@gnu.org; Tue, 17 Dec 2024 23:09:07 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=K5ELv4y9fXAZpcHkHEeNbVJud3rinNBVLKyrruxOERk=; b=V1AIdOXcEFR6RwlmT6yfoLhSW8jsM+pf74chP7N/Q9szvQIdmluaomJg41deyHyAMJM4fmQyje+g6HWEGRYLCIN1PCdsZgoks/eWcixPaOmd0ULECnLRKtWGFEJ6iu12pHsm619b9M7pUn8dkuZOPKWdV1skyT5QVyxx/+nQqYzyhvhWa3IqgqK+hEC3vGIBw7+D23J5iFD/cPFG6+y5MtCQvgZvF0pjRosuVdMD6T5ftY4n0sWmivvyE59neU2LYXDvIbs8EtUN4YEiG2u7jAki//uU3dPbBTPeHSqe14XzzcH/aBFz/rET+kjgm11dw3Gl3FaY3HSFT+MP55QgDw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1tNlMs-0000mm-41; Tue, 17 Dec 2024 23:09:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#74931] [PATCH v2] gnu: proof-general: Update to 4.5-2.d668946. Resent-From: Morgan Smith Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Wed, 18 Dec 2024 04:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 74931 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: suhailsingh247@gmail.com Cc: pukkamustard@posteo.net, 74931@debbugs.gnu.org, julien@lepiller.eu, Morgan Smith , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 74931-submit@debbugs.gnu.org id=B74931.17344949082971 (code B ref 74931); Wed, 18 Dec 2024 04:09:02 +0000 Received: (at 74931) by debbugs.gnu.org; 18 Dec 2024 04:08:28 +0000 Received: from localhost ([127.0.0.1]:32855 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tNlMK-0000lr-Di for submit@debbugs.gnu.org; Tue, 17 Dec 2024 23:08:28 -0500 Received: from mail-bn8nam11olkn2035.outbound.protection.outlook.com ([40.92.20.35]:27377 helo=NAM11-BN8-obe.outbound.protection.outlook.com) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tNlMI-0000lb-06 for 74931@debbugs.gnu.org; Tue, 17 Dec 2024 23:08:27 -0500 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=OoZ6LibnVCxwQyBcLraOIYPQBt6XsOPQJ3ZKOX+wA9tdQp2RoFbZt0xv1Ty5k+6eeECJvzzMQPKyli06sIiqI3VRJF3EYwYgD5FsvOtNaWborGfNlSqHLkUOSOlFlwXTUazb+BOOT0ukQiXDkpdqlqwqe5EZPSAFvan42Z+0tjFZUIGrQjdyL3SgJlNimLt40pnn6yrKvxqbrxKMGm4+sCM5t/jGkICYx5QMpDiF63iFKKUm5550c++KhSyG8IYSevKRK1MGqIDEs7/n1q6cr5jFdPGu81I++hYWlCbYpGgubI9/Uct8em0G3JBzbiXjZeJ5zo8a+nsBkq71qQ2obQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=K5ELv4y9fXAZpcHkHEeNbVJud3rinNBVLKyrruxOERk=; b=qvIxqlvsPV1e87xbgx2d9BPXxYLnOwe+dq8cjPu8IpBxOvk5v4xeWA65kP/oRWfosH1AeUCezgOyjMgaqzkdfBtqXgsxMQu9KkpBzPF9qlOArenZvCqeJhTqWiW3KMKV1wzaK+txzUXSGBU8VItYeRWLOVPffrueRD4vNCawEZhIi2M+lL1LxTO9x3zJ6Yr37t+oi7APBPmgKBxxuJyBK9roKAvCv+fid1EMHbgt0XX+BoJIzglouiFFkYIQtmV+9EDfGeO39wxAr2w47AS+8XI3QyiGSW03rc95XDRb01eMOMomNj83sY06+n4BPIs3E9Cz9nRzDBlfg7AEv5TueA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=outlook.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=K5ELv4y9fXAZpcHkHEeNbVJud3rinNBVLKyrruxOERk=; b=qvLrKnqqmzP523/+sWPozD+kFxrbqlPGB0aS69ulJkNyyJ7yoTbttK9TjW4ABkztvkcbgQ/1r3EJRVwUtLyPCiPkB9oGVzu6SAKVakVbbGifeAtQavpPhgXx3APeao3e3xjHnBgM2BLsG6A11ZoDKUt8QmGLaSxif3WF3Y8M0ONi2nHOOxltzeqMhm/4WScIkGp1n4QM1iODZI7AE7gyJf9DgXE5BBYZ/6JInhNH9T9CY2HEygb9lWRjOzgzHFkawTRaS2xCi1+Yh6AmXFsbaSS9Iu5k3WLIIwqgtCozzGLZ8xb+/qIuYs1QxyAZLlN52yiq0VrwGoA38M+t47uW0g== Received: from CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM (2603:10b6:610:1c4::17) by MN0PR84MB3889.NAMPRD84.PROD.OUTLOOK.COM (2603:10b6:208:4c3::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8272.13; Wed, 18 Dec 2024 04:08:10 +0000 Received: from CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM ([fe80::5c77:7a58:48ed:9aef]) by CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM ([fe80::5c77:7a58:48ed:9aef%4]) with mapi id 15.20.8251.015; Wed, 18 Dec 2024 04:08:10 +0000 From: Morgan Smith Date: Tue, 17 Dec 2024 23:07:05 -0500 Message-ID: X-Mailer: git-send-email 2.46.0 In-Reply-To: <87y10eyrzx.fsf@gmail.com> References: <87y10eyrzx.fsf@gmail.com> Content-Transfer-Encoding: 8bit Content-Type: text/plain X-ClientProxiedBy: YTBP288CA0016.CANP288.PROD.OUTLOOK.COM (2603:10b6:b01:14::29) To CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM (2603:10b6:610:1c4::17) X-Microsoft-Original-Message-ID: MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: CH3PR84MB3424:EE_|MN0PR84MB3889:EE_ X-MS-Office365-Filtering-Correlation-Id: a03c9438-2e52-4480-7293-08dd1f19957d X-Microsoft-Antispam: BCL:0; ARA:14566002|461199028|7092599003|5072599009|19110799003|8060799006|15080799006|440099028|3412199025|1710799026; X-Microsoft-Antispam-Message-Info: GqZ8tXHj5Qk+7p6W0dq8hMrVapPe0HZecsbAUjG/ne1wYdZUcgtKnBvtXPLgphYgZYYM3uzTioAq8e+GxKLeN4ZPE18OhOOWcQWpC6MA1ILkwEcInvYLE989CY9aU1CMVV2JghA5nS/E/T4dYez/zR3fZ+U8QVTYMMyzBRMEyQZ5cI168FP2XxIdMYRR4cHXLnoDq6dRjCMlzPn8fiAfk9B2WO/IVyoBt8COWN8WEt3zMvHCkC5e28JHnnY/6kvIZQf6BJQn8M+h3qCv2JyVr3FNGbu+XaT4gAXqV6pIFudN6vhGXLafFmUJeTFlY7p5Fdi3qOEahr0PpBCIvPzXa6XOksx9ObkXvNTuezvY4Nl9fZvJxkZJNEP5bn2MYapvLA1DWLfIZ3FFixJaTzzkGHEplqU7FJk0s29O5rJWU9z3TgD4L41iVA6wO/vBlpW61UoVs93j+WI0iKFw9j1OT1eFxWH+C2YY33uH03enyqJfbqwhytGegU2JzP1uES9U5ingIIs5Kt/J7vnUAnp6R9HJVI0pXlRjcrATIMpFX/ZBXIhr6XauI+SvMDHUUJGoOXliqqAfCIZ41o5cgd+W532Rj2HkeTzgF1jSwqXzyMF9H37fD79QXVj7uC48uxlyICa60CAEGoVIXTOuRg6HbMQ28IzztGzz6tsKGtBiTpf9oySJVlLTNJ5XC2LAL1O9i4B+o5MFLoQ/t7B+ZWJmqU56P61MegT5xIB2Dof23giNLBKSc+GssL46H6rTmiCFQjyzx33sa9Wup2RLQJ5cKf4EHO8JkamMT9svy95pfulCFC0Y1UoCzWC9XQyxoi87HXLt8crqJamcXALJRLBx5RfOeNVYUna4o0AsJOPLwRx4WCiOsXn7uydTV6Ggc1TRq9UWZLkJsjSYcd2xmYamwKmBFWegZoNjJwt4cajgVjq4AhznUYf4Sk5FYMuo8g4FE8t v4uztNQ1j/PP3FWbaxOO8wRMIhAw8Bq2ZqJ3KqkDHg0Gn1Uxgqnc0dr9PnJr8fqvsX135ENE+gTaPO7KcwksjLYRfKkhz8VVrqOXv1C72JtWiVTSEaFESdtnVQZG7 X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: zjX4hWOV8Wn3I3l4pe7MjCBqI5FQblorjJT3mzKrUkNkB0SecK6iUOSS4zxlCeiBwufeIom1l58P7ue2XvQLGehDiYGIflPd3Uyl2yJGqtbZqZmyjiLsHg8jPf7N2a93+FFLQO5p/3LAmKUJPP01A69lrog/Iqr4cHu8UMcyV/qx2daSahX0Omktt6xe0yF23oqafbaCcNdJjXBi1m7XURzqNd8z9OF511Ji1XVmEi0aOM0jqUza9bVZjsgsuMt7KdfKTvI6mhiqjfCZnuSFnMuAdYzNuxV6TXbJR4Gxcl0PENR1n1hfErhk3cYGrebFP6SAozRqzmbPUck8i9Jph1kxwKnSIPAqJlNEu8kpCyslqtzkwVTq7cNBWUtDSaIad1+UqyxOClMIFWL29u7axDY+cftw71VKcGGti5kldNdxBAYmItd6WSuLVVCPf0DanP4EuoaTfqY3bqQfxEGUUTimh4S4H5VfrSW8pGZon0aPlR0V6ISHjRk53z07/zzwnUpBvQNxXArncV8FyPHZFgx41qyVgiJ8zZx3qmTArLDLaIDJOwgBi5esdO77k+pq/JTV98YGmV3TGmQy5XACb5ulBMQVlmlvJvWE8OTBDCbiJtBepesMmcK8uFhseCWkfKrMNlx2Lv1Us9Z6718lj0FY7hIIQ/HSVqoHFowq0o3U5NRUY7Xg5lB8jlojo/K3fhzrLFEu9CIqubQU/WAqMsDhmcQNZFa7jd6GRUKPrm12eh3vWLvHgefBgvfYbw7rHxkeHOlutxxVfVlu2TqcORZb0CReEp3L+iShPgbeB2vVVRqWTkTiScEPMrQIibzQqXa3B7Iezomf4G1K7qU2Awe4u4IsOB+p/j1LB+annyBZwRWovuYCTN2tX3AOwTHJYVVHLw7+VaEcQweXWkhymWlzE4tMFokdANwXcfliqylSwSEbBmjSybVw7Rk0vrzi bVKVY+LEm9vOzf31dn8co/NesS+aGJSy+LzefOcBgcn0rVYeDJpZe62AAmpGS6DHeNKmB4oBhGiqLlHbaKPdhNMsSPAD41fKEy9nO0jfq3/3jslqZGTHM0MJDnIL2cUdU+v65bQZiQU3a0dQSBjiaDzhJEr89Fn5lCfuYpvRlEQtwvpASCJiomdwma+CN7wMa3/gYCEzcHeL1k0iUHgp7PncdOyBrQ4M6ma1dzuDWXF81mLMpVcSQ57H3xow1thuKN2KsVwzVId0CZpEz0duhXm08318lDaxjtZaaomdZP0hHoRuUQ1NnXmeRpz2xsdp X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: a03c9438-2e52-4480-7293-08dd1f19957d X-MS-Exchange-CrossTenant-AuthSource: CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Dec 2024 04:08:10.2211 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: MN0PR84MB3889 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-Scanner: mx12.migadu.com X-Migadu-Spam-Score: 1.64 X-Spam-Score: 1.64 X-Migadu-Queue-Id: 11B0E65D8B X-TUID: /fwl4pgDQbkQ * gnu/packages/coq.scm (proof-general): Update to 4.5-2.d668946. [phases] Remove unneeded phases and fix shebang fix. Change-Id: I5ce2775cf18775737853d76b5a50d461aa9d14e6 --- Yes I should bump the revision. Thanks for catching that! gnu/packages/coq.scm | 26 +++++--------------------- 1 file changed, 5 insertions(+), 21 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index ea0868f226..3ef91ad78a 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -135,8 +135,8 @@ (define-public proof-general ;; The latest release is from 2022 and there has been more than 100 commits ;; since then. ;; Commit from 2024-04-29. - (let ((commit "cb23709ad0c9a9ca0ee48b3ee73c29caea243b98") - (revision "1")) + (let ((commit "d6689469298b4140dc1f0f8b0ff7e8f937041ffe") + (revision "2")) (package (name "proof-general") (version (git-version "4.5" revision commit)) @@ -148,7 +148,7 @@ (define-public proof-general (file-name (git-file-name name version)) (sha256 (base32 - "1spd8rz95s1x91i4lbbb6zabb8014fihx6ai6pgad1nwyr0y9bir")))) + "1d12z41rn5nh15qj4sf0w8xrbd9djxlrz0r6g38fiq63i7krbm4x")))) (build-system gnu-build-system) (native-inputs `(("emacs" ,emacs-minimal) @@ -168,30 +168,14 @@ (define-public proof-general #:phases (modify-phases %standard-phases (delete 'configure) - (add-after 'unpack 'disable-byte-compile-error-on-warn - (lambda _ - (substitute* "Makefile" - (("\\(setq byte-compile-error-on-warn t\\)") - "(setq byte-compile-error-on-warn nil)")))) - (add-after 'unpack 'modify-readme-name - ;; The README file is called "README.md", but the Make variable - ;; "DOC_FILES" still refers to "README". - (lambda _ - (substitute* "Makefile" - (("README") "README.md")))) (add-after 'unpack 'patch-hardcoded-paths (lambda _ (substitute* "Makefile" (("/sbin/install-info") "install-info")))) - (add-after 'unpack 'remove-which + (add-after 'unpack 'do-not-patch-script-shebangs (lambda _ (substitute* "Makefile" - (("`which perl`") "perl") - (("`which bash`") "bash")))) - (add-after 'unpack 'clean - (lambda _ - ;; Delete the pre-compiled elc files for Emacs 23. - (invoke "make" "clean"))) + (("install-bin: scripts") "install-bin:")))) (add-after 'install 'install-doc (lambda* (#:key make-flags #:allow-other-keys) ;; XXX FIXME avoid building/installing pdf files, base-commit: 8e71580aae17f0c84896519d63246ab4bbb77fc4 -- 2.46.0