From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id UKi4K7ZtxmAWeQEAgWs5BA (envelope-from ) for ; Sun, 13 Jun 2021 22:42:30 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id iD0JJ7ZtxmD7dAAAbx9fmQ (envelope-from ) for ; Sun, 13 Jun 2021 20:42:30 +0000 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 0A2CAD689 for ; Sun, 13 Jun 2021 22:42:30 +0200 (CEST) Received: from localhost ([::1]:36498 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lsWw9-0004S7-0z for larch@yhetil.org; Sun, 13 Jun 2021 16:42:29 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57184) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lsWvi-0004RY-QU for guix-patches@gnu.org; Sun, 13 Jun 2021 16:42:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:32899) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lsWvi-0004Th-Iv for guix-patches@gnu.org; Sun, 13 Jun 2021 16:42:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lsWvi-0002Gt-Hw for guix-patches@gnu.org; Sun, 13 Jun 2021 16:42:02 -0400 Subject: bug#48947: [PATCH] gnu: proof-general: Update to 4.4-0.bc86736. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Sun, 13 Jun 2021 20:42:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 48947 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Xinglu Chen Cc: 48947-done@debbugs.gnu.org, zimoun Mail-Followup-To: 48947@debbugs.gnu.org, ludo@gnu.org, public@yoctocell.xyz Received: via spool by 48947-done@debbugs.gnu.org id=D48947.16236168768661 (code D ref 48947); Sun, 13 Jun 2021 20:42:02 +0000 Received: (at 48947-done) by debbugs.gnu.org; 13 Jun 2021 20:41:16 +0000 Received: from localhost ([127.0.0.1]:44443 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lsWuy-0002Fd-7x for submit@debbugs.gnu.org; Sun, 13 Jun 2021 16:41:16 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59322) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lsWuw-0002FO-Md for 48947-done@debbugs.gnu.org; Sun, 13 Jun 2021 16:41:15 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:52460) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lsWuq-0003mT-KU; Sun, 13 Jun 2021 16:41:08 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=57650 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lsWuq-0000eC-Cs; Sun, 13 Jun 2021 16:41:08 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <287f5f7500552106833f349c1f9493ab89470b39.1623331764.git.public@yoctocell.xyz> Date: Sun, 13 Jun 2021 22:41:06 +0200 In-Reply-To: <287f5f7500552106833f349c1f9493ab89470b39.1623331764.git.public@yoctocell.xyz> (Xinglu Chen's message of "Thu, 10 Jun 2021 15:30:06 +0200") Message-ID: <87k0mxzee5.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1623616950; 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-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; bh=T7GZVs6XVAvK2Z4G8lEDX1KM/Her42FGQgnRAA7zENo=; b=PJtShjBWW/SDS3OHI7G/Ea5waq6+2/6bv3xevulhl8w6zYNZGopAY9d0SF7CUqtgnsBsv/ gW9lTZi9xw/iiFLeqLIJRMQvaLlZj6MSCATHo2vVKv8ty47jev0oSn9a1WS4YsTyVhNHLl RV1ZXPcAj5JIOj/eChdR2y3Nd1mSyzbA6bWwkbT2znMZIyEtq4ZH34LmMiXCY1ZbxU8emD QACE6JCTDibRFy9ZZn74VIthr9oK4gpOohuPTPvwvlzM3PFIGtEP6V4/pzb8gW+8M5ATY1 EIvuh4CLZ4lib/nkw8FlyUUTWGuUI3qAU7GzMJqgt3Gfn9BB0IK2q8E5d1AYMg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1623616950; a=rsa-sha256; cv=none; b=t1kSRcJXYX+ueHxUb5b0sGYjQsLVJVmMjGcCfzXlRsKmhEno/7UTpg7lfdwaP1nwB5kajl Sy7hkVWmVfgvEYRR35hur6NJZCizXITfsxLNcO6RBO4jwWdqhCUJv8906S2X2QsEJNZbpI dReuCodzwA5ZpEkGcyS9KfRXRIUgy1EMydQTqVdoiJNjG43KT0vwfA+KOyhg5WnpRlMVyq sOMXfCFDCVXau11cta/PTsRwy9Mj/KlN+VopJp7FRl3Gtp4P6qOq1dq3kEy9MOL+XXM7xP XMepH36WklXcaQ+5NuDeSweFbvj8YXMFF8jT+uIu1CXoTEBrB08YVbTiLf1whg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -2.92 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 0A2CAD689 X-Spam-Score: -2.92 X-Migadu-Scanner: scn1.migadu.com X-TUID: Wmm1zu/CLtfi Hi, Xinglu Chen skribis: > There hasn=E2=80=99t been a new release since 2016 and there has been mor= e than 450 > new commits since then. > > * gnu/packages/coq.scm (proof-general): Update to 4.4-0.bc86736. > [arguments]<#:make-flags>: Set ELISP_START. > <#:phases>: Remove =E2=80=98coq-prog=E2=80=99 procedure which was unused;= don=E2=80=99t run > =E2=80=98substitute*=E2=80=99 on bin/proofgeneral since it no longer exis= ts. Don=E2=80=99t end phases > with #t, this will be unnecessary once the =E2=80=98core-updates=E2=80=99= branch is merged. > [home-page]: Remove trailing whitesapce. Applied, thanks! I let you check whether the issue zimoun refers to can be closed. Ludo=E2=80=99.