From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id OJkqHfw4wmAoJgAAgWs5BA (envelope-from ) for ; Thu, 10 Jun 2021 18:08:28 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id MIqlGPw4wmArdgAAbx9fmQ (envelope-from ) for ; Thu, 10 Jun 2021 16:08:28 +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 1413826100 for ; Thu, 10 Jun 2021 18:08:28 +0200 (CEST) Received: from localhost ([::1]:49984 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lrNEJ-0006kv-0Q for larch@yhetil.org; Thu, 10 Jun 2021 12:08:27 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36930) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lrNDu-0006ht-Md for guix-patches@gnu.org; Thu, 10 Jun 2021 12:08:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:54324) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lrNDu-0008Lg-Cl for guix-patches@gnu.org; Thu, 10 Jun 2021 12:08:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lrNDu-0004jJ-98 for guix-patches@gnu.org; Thu, 10 Jun 2021 12:08:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#48947] [PATCH] gnu: proof-general: Update to 4.4-0.bc86736. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 10 Jun 2021 16:08:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 48947 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Xinglu Chen Cc: 48947@debbugs.gnu.org Received: via spool by 48947-submit@debbugs.gnu.org id=B48947.162334124218133 (code B ref 48947); Thu, 10 Jun 2021 16:08:02 +0000 Received: (at 48947) by debbugs.gnu.org; 10 Jun 2021 16:07:22 +0000 Received: from localhost ([127.0.0.1]:37637 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lrNDF-0004iP-OP for submit@debbugs.gnu.org; Thu, 10 Jun 2021 12:07:21 -0400 Received: from mail-qt1-f179.google.com ([209.85.160.179]:40507) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lrNDE-0004iD-52 for 48947@debbugs.gnu.org; Thu, 10 Jun 2021 12:07:21 -0400 Received: by mail-qt1-f179.google.com with SMTP id t9so207293qtw.7 for <48947@debbugs.gnu.org>; Thu, 10 Jun 2021 09:07:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=cUYaEg8NDpVDXV4z52wBjLLeABWg4wnTZBW6H/Xb8mg=; b=fjyGJm9gjSE/j+QsIKEsxeiCdd7u0bxxnVavKKEHT+SBppsv2t0Fz1JFPAZwleXmMW 5QhMBNPx+ozICMAk87Vmx7B8SRHQ/bgHwAefocF11vn1Kl354lNTYVRpHWBeyyULCf/l toN516tZYHNbWLuK14qCatOBzzpAGL8cpaL/bZ84Xrk1nLQXmy7Iy4IQUrPvrmDiq+4o MLmMaKVa0EcUP0cle8tMiXnO+URMmtcqWh9EXE4iEBJvdYUXWVQ35wKYSytawbxJ3IPz lF4rOXBj9zYtHBkjoj+g37gr9QP53GnG/fmVg7hqTDoGMOvF0tPMevYvnmnDHgrdmnta 1TrQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=cUYaEg8NDpVDXV4z52wBjLLeABWg4wnTZBW6H/Xb8mg=; b=bnoB9C2UC/YFWqSVJ/StivWf8OnsebVDyu5XA6j5EJJu0UorjgSX1AL72FrnJFTQfT b8YJ39slS8KAfSscPgiuSKWdMPnZTyYlXmqffjCaFOe81xJBM9ehPZMW66NuE+SuqAkW mVzBcuZ+ymtZZxgKWvnOkd9+sLH5KLAMXLdjiG+Bz01DCkWF5+eoqReMC8F12gVpIh27 eNPwZtxrhRuzvj5t0XOtygKT5xLzvDrXR9H3YaGAAawcsld8wZXcDMahEu1gTv+af5Y5 k5ymT9zmVvLZ8rxjL/Swx6T0bqJfSnNGilcG/2M2lbYZY6rAYKSfQ8ZwUVtGBwwWSVz0 jy6w== X-Gm-Message-State: AOAM533tPcWaVY0UaqlxNpvOJ5uJCeKcyUiPybvht0+V0WGbZBiLTdRH j1khlc5tAkA8lKavgIpkBcTRybpsOJ+E7wXcWgAnXGS3h6c= X-Google-Smtp-Source: ABdhPJzcHyBmCbILRSiVlRKOZ5fKZajc+DPSwfuR5+5nmlrbaGNROddBJk1wsYJtX72HevV0J1yZILEwcbQDKUtPSLI= X-Received: by 2002:ac8:718b:: with SMTP id w11mr350577qto.354.1623341234665; Thu, 10 Jun 2021 09:07:14 -0700 (PDT) MIME-Version: 1.0 References: <287f5f7500552106833f349c1f9493ab89470b39.1623331764.git.public@yoctocell.xyz> In-Reply-To: <287f5f7500552106833f349c1f9493ab89470b39.1623331764.git.public@yoctocell.xyz> From: zimoun Date: Thu, 10 Jun 2021 18:07:03 +0200 Message-ID: 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=1623341308; 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=cUYaEg8NDpVDXV4z52wBjLLeABWg4wnTZBW6H/Xb8mg=; b=nO5LSTP752mq2dVz90SwwGAOU3+0fAlOGj/LHozKsFjJqHBF16YUuGZNqZwGpKJq9OULqQ LKYleIpunqydo/cbm8B6Zh9pzhoHC1ERqw9naZhuxIpE9L7s3ib1QIlIVKGKm61TEKBB4a 5RNPzrFoUaD2cPsXuXmEiaih3UchQEPIBNBzYiF9lAY/ngHEMfjQH4uRU/s2JCtFOEUppe eIOYogzWDGAyfbhLOweHwqeDqbzaf1RB7Tdky+lJP2Mtms8OY36b++vZldm6QVVuc82tis kIjF3jbHxTpkCAr79aPfMECf2BNFHkxyUcYiJZT0PiQo7FmbEB1mo/RIfOQDqg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1623341308; a=rsa-sha256; cv=none; b=D46ByEneyPeM0Cmg8zbgHP4ruFo+fwVUd99lRyk1xhvHjqjG6I4UuRyVIDfvqEOgy+nveg AeIuRmt7wQE6OWqHD0knP3t50JhXfHewoXj1wlcSq3c4w/l76Ra35j/+4zAa7FYCPOZlrf BpRuzTdkq/P3zbGPME2C1ufV+wWj6ZDOMeVW9pRULzBsvX2sR86XRBy1E2iM3XFxUO9zz9 9YDAErulvcgl2n1sCcbwjqnSFhmSwM9ayvkCHvoBj2Q3LL8DPoakpnIPQUwib43NgbmPhz O+Lk2CnlsH0SP0hkSqFas2RgS2yhzRsl1A6zI1GBDz8xVYeGOyP2HHfv65M3Fg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20161025 header.b=fjyGJm9g; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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: 0.17 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20161025 header.b=fjyGJm9g; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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: 1413826100 X-Spam-Score: 0.17 X-Migadu-Scanner: scn0.migadu.com X-TUID: HT3e6HAJzi9s Hi, On Thu, 10 Jun 2021 at 15:31, Xinglu Chen wrote: > > There hasn=E2=80=99t been a new release since 2016 and there has been mor= e than 450 > new commits since then. Cool! Does this patch fix the bug#46016? All the best, simon