From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id qNuGCS3sYWd9ZQAAe85BDQ:P1 (envelope-from ) for ; Tue, 17 Dec 2024 21:25:01 +0000 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id qNuGCS3sYWd9ZQAAe85BDQ (envelope-from ) for ; Tue, 17 Dec 2024 22:25:01 +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=nmskGR6Q; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=PFeMYroa; 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=gmail.com (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1734470701; 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: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=3UZQXKRDNfo9st8mVuZQwjhNO3hwummtxes5kWlMQUk=; b=akyYz9fSo5fKOdWqFx741O52nRaLoxuD57cE/lW7mdq7arcytefw1Uu+TfqMZhRE125RAJ RfTBJrAVbn8KwZI1OodsAotQZ+7y5lCalBF1BgYRYub1+OX9E3SKntg+TtGClTPM/G+mFj MjXaZHiTtlg4XI6ZPv7//Ms04aVmFhaPbIA7Kr5NB5MWNw8q46R7be4aZ/N/BaEPeiaLbS fRZRZZoJj2AmisSPX1pUmuSgYTqSr6IAs38GYjgaGmv+N0T4lC0iIjp2xIbTeIeF3/wCV2 YL0WtJnBla88PPOAfOP0KLJgOncecWS6hl06X4mLB/6w228wJI53h+DseDwcVQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=nmskGR6Q; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=PFeMYroa; 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=gmail.com (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1734470701; a=rsa-sha256; cv=none; b=O3c7/08USJ0GHbEwmacY6h9PrwVV/xY8sFhWhhoh/zknwTran4YoXPgkx94/3rzXGyVQ12 6RTmPZ2k/fVobu4ccBh8kyh4V1HQ7xqP2Q8nHwB55FnlBuP2OGZCNGemfbZGnqE2sarTk+ zvXExcRm8QFkkcHmMxJZXJWsyqOc5BVn/WOonRXeetFmczIMYiG3UvrhIeW5aHmSAIHVlw py8apYcCup6rx2/MoDpppJgEquDV9ZqdeJMEHvU6ksWJwgxZWFTb/XWDg48gLRKvS95o6r P/PnjIUU3P/1z7ScKE7F3hImcW6nVnEruy+5wVCoWgaz0/vfmDCk8q1XbvuHpQ== 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 D9BE15EB7 for ; Tue, 17 Dec 2024 22:25:00 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tNeBk-0006u4-8Z; Tue, 17 Dec 2024 15:29:05 -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 1tNeBi-0006qr-U8 for guix-patches@gnu.org; Tue, 17 Dec 2024 15:29:02 -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 1tNeBi-0001xU-Ll for guix-patches@gnu.org; Tue, 17 Dec 2024 15:29:02 -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:Date:References:In-Reply-To:From:To:Subject; bh=3UZQXKRDNfo9st8mVuZQwjhNO3hwummtxes5kWlMQUk=; b=nmskGR6Q1iKKzjnOVKfTDiVHvyAvdyHnKfytt8Lf5aSqpDYAla33MXh4k/ZsJ71/IB7R+/8gDC2Dcs9Febg4xNuJ83QAU9RJk/rizZJlmVQ6OiMBFqIase1qua+lZLQu5VcIRpHMm2cGfxFt8xlJVklsfXdzpQTmptWRwpe+U96OSsK5F6OVo96wHELVG6e18lkj72DvDd+6o2j0W4Sp7spZLZQRvEI2C+Orbdw4KXfjFfLEaaetg5AynWM0Si9S1le6e3k9Gs8M7CN4isJhi678B1DAAbVUAf2yJrdWSZbNIfvDw5iyoVyr88swHYfbxZh4OU83+BRwk+vlyttZRw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1tNeBi-00041C-7b for guix-patches@gnu.org; Tue, 17 Dec 2024 15:29:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#74931] [PATCH] gnu: proof-general: Update to 4.5-1.d668946. Resent-From: Suhail Singh Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 17 Dec 2024 20:29: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: Morgan Smith Cc: pukkamustard , 74931@debbugs.gnu.org, Julien Lepiller Received: via spool by 74931-submit@debbugs.gnu.org id=B74931.173446733215422 (code B ref 74931); Tue, 17 Dec 2024 20:29:02 +0000 Received: (at 74931) by debbugs.gnu.org; 17 Dec 2024 20:28:52 +0000 Received: from localhost ([127.0.0.1]:60468 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tNeBX-00040g-QE for submit@debbugs.gnu.org; Tue, 17 Dec 2024 15:28:52 -0500 Received: from mail-qk1-f196.google.com ([209.85.222.196]:52465) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tNeBV-00040X-Qi for 74931@debbugs.gnu.org; Tue, 17 Dec 2024 15:28:50 -0500 Received: by mail-qk1-f196.google.com with SMTP id af79cd13be357-7b6e5ee6ac7so447314985a.0 for <74931@debbugs.gnu.org>; Tue, 17 Dec 2024 12:28:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1734467269; x=1735072069; darn=debbugs.gnu.org; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=3UZQXKRDNfo9st8mVuZQwjhNO3hwummtxes5kWlMQUk=; b=PFeMYroaOqVf+TIAOkQoNI2crBvBC34xufz9ed+++OURnNbn9d7JZ1Nzbbhidu5+M+ Bm+j3qCvxrHFzEOkfnOD+gCy3HTw/uZfwAAFmS8SL1RF/AWMy30qQmBQPXGQUv8k6mVZ iMyBAP2RlSY5/CU5XMuMKAxMqmxQV73IH80fuoYIgykYfx/i61Uk0BMI8tZjnLMMTKJO 74mGkDGV1/FG+4Yy7mNCw7WHXbnCnY/LVOY8Q/hnJIELeEY6EjydV0SvTyQP4iVzvT3a KujhoQUKiSsa6gkSLF5vGMXJQHFv9YJiMqrx1+ebaqY6adtj58vOeixvkzWAkdxRzOV1 Q7Wg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1734467269; x=1735072069; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=3UZQXKRDNfo9st8mVuZQwjhNO3hwummtxes5kWlMQUk=; b=BrVMlEppIfekctV/Xs+PkhEru122+589Db9kTEq4Iu68R0Zd9b3KZpHU2OMQZ9ynS5 M/ipdKUettxGGCBGBcGu6Ex8tWg8cNO+wmNlpZ2AQ8eiaDX8axPg3SyxzIgZPSA/7f6R 4p7cz+/D84XaCSgrcH3OA3VafgQUaIsr2JIfcqwg1FWk7JpsRgm5sz0+EI3Eoxk4lxsU yOv8OrWxXxcguCMHYRBG51yyQt+kFeNdCrrzy71hL798n3x0CM+0zQauOREgO2Erer7B W8ji2Z83h/UnWsHynGwzcjJdfGygkRuI+D2O0yu4wFlAL1YkZewCvW/yeEb0dI9q8sGB mfsw== X-Gm-Message-State: AOJu0Yz5AwOe9Oz/tgWaR2ExgbsSALuzcec2G/qEO1bj1vzF0ZiCw2N7 /3vrrvXp+Rbrc/S/Qi9I7wMPIH++BJAMyk8aTZCTth5/J0K3PmLd X-Gm-Gg: ASbGncvnxP4sgSy8Gmd03vkRY5+4S70FfHGA5Bden+t02VicZuWVLaOtcOWuEvKy6UZ J+d0M8xQsNUs2CZLUZdT9OxCpAVbu/s5A0eZibWu0QqVG+S0hGZvKKoJ0XjS1TsPQEFEDGMWc3T Usjgq2wgU17kAkySG0caZsfNiX+LV9RHIQm9Zvg/D1wvfP+KYdweqMDALnQr42i9cKFEA6kOose p8bfFozxSD5VqbSNfXYxr3DGbkTiR2goNnmO4UTfjqy2MmgVD6GISeKtAlFx5INyYj0xcSXMmwp n/z9Gvpp4ERtIbUyVg== X-Google-Smtp-Source: AGHT+IGp3OsAALUS6+GitL+XEc4tDaMNuSi8nZWGMnGIhSx1URrqEzAeFIfPnI5j+xE+ytvboXzHfw== X-Received: by 2002:a05:6214:2586:b0:6d8:9215:f462 with SMTP id 6a1803df08f44-6dd091d54d7mr6230966d6.22.1734467267524; Tue, 17 Dec 2024 12:27:47 -0800 (PST) Received: from gnus (mtrlpq0776w-70-26-179-129.dsl.bell.ca. [70.26.179.129]) by smtp.gmail.com with ESMTPSA id 6a1803df08f44-6dccd257215sm42425756d6.41.2024.12.17.12.27.46 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 17 Dec 2024 12:27:47 -0800 (PST) From: Suhail Singh In-Reply-To: (Morgan Smith's message of "Tue, 17 Dec 2024 14:32:15 -0500") References: Date: Tue, 17 Dec 2024 15:27:46 -0500 Message-ID: <87y10eyrzx.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain 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-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx13.migadu.com X-Migadu-Spam-Score: -0.83 X-Spam-Score: -0.83 X-Migadu-Queue-Id: D9BE15EB7 X-TUID: r1Rk72rxqldO Morgan Smith writes: > * gnu/packages/coq.scm (proof-general): Update to 4.5-1.d668946. > [phases] Remove unneeded phases and fix shebang fix. > > ... > > diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm > index ea0868f226..e6df4bf98f 100644 > --- a/gnu/packages/coq.scm > +++ b/gnu/packages/coq.scm > @@ -135,7 +135,7 @@ (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") > + (let ((commit "d6689469298b4140dc1f0f8b0ff7e8f937041ffe") > (revision "1")) Shouldn't the revision be incremented as well? -- Suhail