From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id wGP5AOofjGHmAAAAgWs5BA (envelope-from ) for ; Wed, 10 Nov 2021 20:39:22 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id QK05OOkfjGG+cAAAB5/wlQ (envelope-from ) for ; Wed, 10 Nov 2021 19:39:21 +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 8E4D7920A for ; Wed, 10 Nov 2021 20:39:18 +0100 (CET) Received: from localhost ([::1]:34608 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mktRF-00053E-Kt for larch@yhetil.org; Wed, 10 Nov 2021 14:39:17 -0500 Received: from eggs.gnu.org ([209.51.188.92]:46032) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mktR0-00052T-Kh for bug-guix@gnu.org; Wed, 10 Nov 2021 14:39:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:55913) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mktR0-00072x-85 for bug-guix@gnu.org; Wed, 10 Nov 2021 14:39:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mktR0-0005oB-6b for bug-guix@gnu.org; Wed, 10 Nov 2021 14:39:02 -0500 X-Loop: help-debbugs@gnu.org Subject: bug#46016: broken Proof-General (emacs front-end to Coq) Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Wed, 10 Nov 2021 19:39:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46016 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 46016@debbugs.gnu.org Received: via spool by 46016-submit@debbugs.gnu.org id=B46016.163657311122285 (code B ref 46016); Wed, 10 Nov 2021 19:39:02 +0000 Received: (at 46016) by debbugs.gnu.org; 10 Nov 2021 19:38:31 +0000 Received: from localhost ([127.0.0.1]:39226 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mktQV-0005nN-9L for submit@debbugs.gnu.org; Wed, 10 Nov 2021 14:38:31 -0500 Received: from mail-wr1-f47.google.com ([209.85.221.47]:45644) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mktQS-0005n8-V5 for 46016@debbugs.gnu.org; Wed, 10 Nov 2021 14:38:30 -0500 Received: by mail-wr1-f47.google.com with SMTP id w29so5855019wra.12 for <46016@debbugs.gnu.org>; Wed, 10 Nov 2021 11:38:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=4fAIKugp0dIWOoQq6XaPIdunu5edXlULdl5tQ6Xiq7g=; b=aL6pSl/A4j6SvijlQIRTjpfVaEi3xmc2yzfHC5MRx/TvWgUsWcbaMKsZbkq7Yqrow0 ss1Jc+92ipLaxDmRv6NGeR4KQZTzu6UW+002ZM99iP9/86TF8KIriNCxMrVi5TrWElX0 wOO07fz91pmU0SsG7pwgbirRpqyFYPywZLV6dOPtVMf6tReCNeEyGY0mGVgyAlH2W8m/ hOt1ZREs+x0OH510N//wPzOS6t4CuLC7mIULgJbPgpIM6W4BQLd80fj74gOyBzyp60Lm xGPKAPlxOtOLkuzqQpJdKs+bEvBmewxLEDC+pLOQGL3YGS32PDhxJhWak1yUml1KrBBO M/Cg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=4fAIKugp0dIWOoQq6XaPIdunu5edXlULdl5tQ6Xiq7g=; b=QUPISLfHV9w5ukv/CelcGdLpoJ+OaU5yBC87nMCiYykFQcJxEM/ChoSVJNlvUnzG1k srvZfzFzmwYIP5TsuIP9sxcQmc3nPkvkcLX138QZRrN7vT8j/9b5+A7qr2i9HsttaPyz EPBqrebRlk1JtL1Al6iia2as4cGodZIofsKpbbEDWC0vmITKXlWnfc2qaVpxHtAgIlTa x4gnVDqRKWQsJWfZSWaWei00MBs9Ej/8h0Uck95A6jaRk4Cx0WWuigkgkUmC9OEgf6NS CfQk5fX5G8L0YnNVWGQrmhr+po4TY2QeTdui4y6W3loz7mWfWoZdrtXOHEGHbJn6a9qo yK/w== X-Gm-Message-State: AOAM531PRVDmW//ERTk4pRfrM6Z/5LGUQd2L/CD1Ft18eRnE+N/M0Vce Kc84RSSpFLawPROyi+BMaB8= X-Google-Smtp-Source: ABdhPJxLeTn+VnVI7jZ8lLD+WIBuV6iDYcdKLu/jXBWefokC0YoZQceJxrA2Ubc+5oGLLbOKnC8wCQ== X-Received: by 2002:adf:e6c5:: with SMTP id y5mr1840437wrm.79.1636573103300; Wed, 10 Nov 2021 11:38:23 -0800 (PST) Received: from pfiuh02 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id l4sm708017wrv.94.2021.11.10.11.38.22 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 10 Nov 2021 11:38:22 -0800 (PST) From: zimoun References: <86h7nalf40.fsf@gmail.com> Date: Wed, 10 Nov 2021 20:38:20 +0100 In-Reply-To: <86h7nalf40.fsf@gmail.com> (zimoun's message of "Thu, 21 Jan 2021 12:10:55 +0100") Message-ID: <878rxvsswj.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) 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: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: public@yoctocell.xyz, jsoo1@asu.edu Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1636573158; 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=4fAIKugp0dIWOoQq6XaPIdunu5edXlULdl5tQ6Xiq7g=; b=T00/H1ddTVUwOFbEMBI+GrAOVYbEPiH5MiMjmGrhmfwNyr0sNIlDjww9Jz9oDqzai405qj t3vClawqiXUJnkW3AsyKv7lOO0ZGyKMxL/vSCXIiCbcr6w9AkW/+45F1M6rexdEEO4cPxt veL6MvMgRQ5hBQN03l/1DJLwc2VsTekjGtlxXAT68MKr0z6UV+zYzAlbbUpf5upKUMxf8v x26Qrx/R5zS2fQsscOR+rgO1HrQ7OUkmBlbTjYQ6u0eS2pqtKp2hVYG7YAbW3DS3/KFDLW C0Q6EjUVKxUG03TT69m/rbi4In1CwKlG6ZwIFN4d7mMG1nTkSUr+eWm0Nu5Nlw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1636573158; a=rsa-sha256; cv=none; b=PcFTzvHTSOhWEDXUO+4pV5Ge73p37WS1sUj/pFvyv6BCgsqMsf7vuH8A7rgQaFiWLML5ZC ttgT05KhVpVnwmMCmkHCum39oC6s+kKfjp7bkCiRy2G0sAtWW7zXE+7fwfbJbYrkV0Wlj6 DQR49Q1EwI/+fUCWlhKT8cillcPbiFYl3M02MipUBiDQ0Pqtb0J2rWiKOI+lIdkKSgGBTD GS1dYIBWEfbFe8GVSVSVzTplQgPWq+IMYEybqGpdjBKyUFFpbRRUhF8nvoSN03Yoru52EA k7+M2vSe0VDK6bl1GwBhioacHAiEz8iMF3/KO205rAJVENJvQGYupbZCik1Wvw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b="aL6pSl/A"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Migadu-Spam-Score: -1.72 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b="aL6pSl/A"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Migadu-Queue-Id: 8E4D7920A X-Spam-Score: -1.72 X-Migadu-Scanner: scn1.migadu.com X-TUID: I6CYLKU7EuUy Hi, I think this bug is fixed by patch#51755 [1]. 1: Cheers, simon