From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id EO6qLgCoaWfkgAAA62LTzQ:P1 (envelope-from ) for ; Mon, 23 Dec 2024 18:12:16 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id EO6qLgCoaWfkgAAA62LTzQ (envelope-from ) for ; Mon, 23 Dec 2024 19:12:16 +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=h+vndYPo; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b="l7hF8A/a"; 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=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1734977536; 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-to: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=GAzjaoKpRg8NuOKidXBPh+rUwFUCk8fdQ1ggT327TZs=; b=KeKeGd6lBxEY9Io5wBGxgdzniKnsooF/oW32ig4Y1TCMgNU7WzkW2KBlWfP52K/rU+Tow0 ACTSsn/FnjeU48KOaBQXRe00rHdTou0KKSV6zz3qYPn4AELkqO0X/B8crfUJnVDRHfo/nG qpU6Mgb7ZuYys96x4oAPYdZKpFBg7vTXlG+3RAB958T7UAYEFlFENuDhtUJ2GkIJu3YhtU DuAAFJrc34BAMtnMSpXEETZA4pwe1llLJh9/LIkIME9S//q0XFJXN9uElU9GnaJFyUTz9n /7XVZfdjByqxCNlGuIviWCb2yop8JQ/Vux5orV+Jd+Zl8B0UGxDoGsgizt/UJg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=h+vndYPo; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b="l7hF8A/a"; 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=pass (policy=none) header.from=gnu.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1734977536; a=rsa-sha256; cv=none; b=YNzSJX9ByRZWcDZvPvJ/4K6+LhOF2Ow/YQlGRfkU5ue16MkDUfKtBJPx9oBjFskzlkw3fn VnZDcUfP+2DrwmjF+nFr1rKEfGlGKAIWGTfTZNzJfAPVJ9ouyhyPfSca/nu/XQFhhI/cGm 7UNq1uCcBybGUwf78z88524ReaLw2eQUjAAeNwqkeJ3ogArj0Ylu0a6R1C+YEkR3C36JXT saiCp9W8ZuoSVXtjYxjUoj7X84U9n72JLudltPx4kZxbiDhRqU24/kl+sBIOwx/FyPxzZ7 KsjR64PXLdJmLmER7bP8IhEWF/uj0bp3NaLpWndVtBFFeyHevPm1da91Hx3VYw== 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 8563A9A221 for ; Mon, 23 Dec 2024 19:12:16 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tPmuS-00060Y-SH; Mon, 23 Dec 2024 13:12:04 -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 1tPmuR-000606-8F for guix-patches@gnu.org; Mon, 23 Dec 2024 13:12:03 -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 1tPmuQ-0000Zk-Vt for guix-patches@gnu.org; Mon, 23 Dec 2024 13:12:03 -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=GAzjaoKpRg8NuOKidXBPh+rUwFUCk8fdQ1ggT327TZs=; b=h+vndYPoU6ZqbzLr3xK02m11ntSHduiLjGKylQqtOJ5HCHC+PmAXJpPF+OKjyrp+DOCIvhMPNdyJ5OqzeAXeUvAzV6TnWp1freRzBcIXQnziMqfh2FIQ2xLWEC6o+AmRasrA8I1LQdw1DgQ+OrlPkE/SPTqGZzrbE6PPNum6mEFGkd0MEWvXoSWtup/UG0FyQ8kskgaxrIQDAhtSCxZWPcB8Mc9OwME3Rak3+oO+x1VjtElNKdYuGWqLdzlhtayFy3UTGlCRQYsqcxqHUCAr2UEEUHem9ltVe1n+XdoII8ylYKXek/e9335IyG+OHxRKgZCeeALlk51TT/iS26ln3Q==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1tPmuQ-0002YM-PH for guix-patches@gnu.org; Mon, 23 Dec 2024 13:12:02 -0500 Subject: bug#74931: [PATCH v2] gnu: proof-general: Update to 4.5-2.d668946. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Mon, 23 Dec 2024 18:12:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 74931 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Morgan Smith Cc: pukkamustard@posteo.net, julien@lepiller.eu, 74931-done@debbugs.gnu.org, suhailsingh247@gmail.com Mail-Followup-To: 74931@debbugs.gnu.org, ludo@gnu.org, Morgan.J.Smith@outlook.com Received: via spool by 74931-done@debbugs.gnu.org id=D74931.17349774839740 (code D ref 74931); Mon, 23 Dec 2024 18:12:02 +0000 Received: (at 74931-done) by debbugs.gnu.org; 23 Dec 2024 18:11:23 +0000 Received: from localhost ([127.0.0.1]:56128 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tPmtm-0002Wz-TL for submit@debbugs.gnu.org; Mon, 23 Dec 2024 13:11:23 -0500 Received: from eggs.gnu.org ([209.51.188.92]:54448) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tPmtk-0002Wj-8f for 74931-done@debbugs.gnu.org; Mon, 23 Dec 2024 13:11:20 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tPmte-0000S9-V7; Mon, 23 Dec 2024 13:11:14 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=GAzjaoKpRg8NuOKidXBPh+rUwFUCk8fdQ1ggT327TZs=; b=l7hF8A/a/779EU20xZKZ 9OeBNBp8Lcd2arnOfcra2X+O/cf8NKZV+1UHie388sNPy8l9cvhVcKeLhv75Yx8XGttiECCMSv7st N9A3j3w3RfGlspKBkRzWsTxo6jWxHu4y92IOa93LHoLRXkHdeCgV6BcR48/ILe3196eu2folx5JuH stEmO8nMylrQDxOzYEo+03G3isBHcpeJBcWrYWLkFHAgqeXo/0Im5JYTRfE9+8sW8v7mKRma2G81M NkvkJFanuUnNmS9v5jYvr+afuWc4A9RunXa1FS8v/3oIAXcWiKSEULxffP4EqEIYkYmUvQ0vqwdi8 BqO4R2IgQI0Odw==; From: Ludovic =?UTF-8?Q?Court=C3=A8s?= In-Reply-To: (Morgan Smith's message of "Tue, 17 Dec 2024 23:07:05 -0500") References: <87y10eyrzx.fsf@gmail.com> Date: Mon, 23 Dec 2024 19:11:10 +0100 Message-ID: <87h66u6zi9.fsf@gnu.org> 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-Spam-Score: -8.81 X-Spam-Score: -8.81 X-Migadu-Queue-Id: 8563A9A221 X-Migadu-Scanner: mx10.migadu.com X-TUID: ohdU7QpsLb9m Morgan Smith skribis: > * gnu/packages/coq.scm (proof-general): Update to 4.5-2.d668946. > [phases] Remove unneeded phases and fix shebang fix. > > Change-Id: I5ce2775cf18775737853d76b5a50d461aa9d14e6 Applied, thanks!