From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id ULGKKCGyo2FJjgAAgWs5BA (envelope-from ) for ; Sun, 28 Nov 2021 17:45:21 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id YEg9JCGyo2EHewAA1q6Kng (envelope-from ) for ; Sun, 28 Nov 2021 16:45: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 95E97DD19 for ; Sun, 28 Nov 2021 17:45:20 +0100 (CET) Received: from localhost ([::1]:38008 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mrNIk-0008KG-GB for larch@yhetil.org; Sun, 28 Nov 2021 11:45:18 -0500 Received: from eggs.gnu.org ([209.51.188.92]:51224) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mrNIX-0008JN-NW for guix-patches@gnu.org; Sun, 28 Nov 2021 11:45:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:52928) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mrNIU-0000Ni-7P for guix-patches@gnu.org; Sun, 28 Nov 2021 11:45:05 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mrNIU-0003zi-5x for guix-patches@gnu.org; Sun, 28 Nov 2021 11:45:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#52164] [PATCH] gnu: coq: Update to 8.14.0. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 28 Nov 2021 16:45:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 52164 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 52164@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.163811788815310 (code B ref -1); Sun, 28 Nov 2021 16:45:02 +0000 Received: (at submit) by debbugs.gnu.org; 28 Nov 2021 16:44:48 +0000 Received: from localhost ([127.0.0.1]:36241 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mrNIF-0003ys-Ow for submit@debbugs.gnu.org; Sun, 28 Nov 2021 11:44:47 -0500 Received: from lists.gnu.org ([209.51.188.17]:39422) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mrNID-0003yi-3C for submit@debbugs.gnu.org; Sun, 28 Nov 2021 11:44:45 -0500 Received: from eggs.gnu.org ([209.51.188.92]:51160) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mrNIC-00085U-Rr for guix-patches@gnu.org; Sun, 28 Nov 2021 11:44:44 -0500 Received: from lepiller.eu ([89.234.186.109]:36668) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mrNI9-0000Kb-9p for guix-patches@gnu.org; Sun, 28 Nov 2021 11:44:44 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 540f5f0b for ; Sun, 28 Nov 2021 16:44:33 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:subject:message-id:mime-version:content-type :content-transfer-encoding; s=dkim; bh=Dkqx/iqB0D2Tipv+gfcQW/pAQ W5BfCt4xMmNeRkhAno=; b=F+EjrOW9Mpn72EW9VKBzSLUigpoA4Hx7b6DXso1KP 1wtvHgVqVKOIJ7ttPFPa0xvZpW/YGWwbRMOalFakLYlC+/RYzAZuOOgw1ICW1ic+ NDPu/mcLFAKbKmrtExbCT0NiKIO/myYH9NdBdNLVNcAGDTLxG1FJZU6Fu3bc1EfD xY/BlsxsUh8SYdAQmqcfrGAqnhi8hqiVGX6wRvGkEhuuSYs2gnbv08oluK9aPVip utNKc07rEEsUXf7s/MYPaesvwDSA3qkSPTVk5rD1XVgbbdxsT9yagM48k1MghlBd g4cb0VZi1G7/3PCZjjZ6DoVI+o//xcp1vwbmBkFiZyLSw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 87246e35 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO) for ; Sun, 28 Nov 2021 16:44:32 +0000 (UTC) Date: Sun, 28 Nov 2021 17:44:26 +0100 From: Julien Lepiller Message-ID: <20211128174408.747bccba@tachikoma.lepiller.eu> X-Mailer: Claws Mail 4.0.0 (GTK+ 3.24.24; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@lepiller.eu; helo=lepiller.eu X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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=1638117921; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=Dkqx/iqB0D2Tipv+gfcQW/pAQW5BfCt4xMmNeRkhAno=; b=s8AdkDgIHb8ZvMt3DPhpsxCD3QlRc/vj4p3QoABbTyVBM5Wn2gd636a320Ga332EFkjiSv wk+mL4BY2MQbm51E5PZfMs14q4uuzXKIshZjdX2QoE/ppV4g4AALv0sWuWIv3iQFB8DPW8 hqgG5H+UHKYyLj/OvV0aTABWynPyn5OX7TY00jCPFdLvNpvEX6MMyj+nHfcP35mvLTUSov 8Yh6KoU2g/tDfrfVaFPFKCZXKhGVq0MPfymro5H/x8m1Htz3hNcjFOd/GW5ueXmYPo8cm8 tJtNTijYXfOlwaDQPY2Vi/UrRQ3lXZnPwkMqdiDPDu4gyNhaGycKiSfG32Mu6Q== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1638117921; a=rsa-sha256; cv=none; b=M5hKJJMh6aY0jCY2db/qtRyyQahDfaxAdObmgeLQBsQ3/UNTx2sHte5+WLVmCS4AFFCWkb 8AuCouCVPs9DSv+p28cshZl1v5ImQ+n0qzn3bbpk2QbjaObiDGxi7VXbdbn8joNd53Oaxt MTOHKkKrHYYm8ZQYWfc5haFPg/BC70GFNa8A+oPcpti3KuJQ//ZZjAqr5rI9cR0gtgIoTM rU90ODYGhjTyPIYP6REsMIjV95uXEenQWBH5nND+qwo2ZFj3pSfSlCGudI5s+KXeD2xmjr jnfYCW70WQGI6SgXtr1pwUmuLFFkB5tND6WTYbCmH4LCIEgr76s3ktBS0fptvw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=F+EjrOW9; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (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: -2.01 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=F+EjrOW9; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (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: 95E97DD19 X-Spam-Score: -2.01 X-Migadu-Scanner: scn1.migadu.com X-TUID: xw9mN5xaQyBj Hi Guix! this small series updates coq to its latest version.