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 ms11 with LMTPS id WPkWC9G5Xl+IGAAA0tVLHw (envelope-from ) for ; Mon, 14 Sep 2020 00:31:13 +0000 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 mPJqBdG5Xl/cXQAA1q6Kng (envelope-from ) for ; Mon, 14 Sep 2020 00:31:13 +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 8F8449402A0 for ; Mon, 14 Sep 2020 00:31:12 +0000 (UTC) Received: from localhost ([::1]:40254 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kHcOl-0003fy-Gs for larch@yhetil.org; Sun, 13 Sep 2020 20:31:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47164) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kHcOg-0003eO-SS for guix-patches@gnu.org; Sun, 13 Sep 2020 20:31:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40601) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kHcOg-0007Ia-JD for guix-patches@gnu.org; Sun, 13 Sep 2020 20:31:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kHcOf-0007Kc-R3 for guix-patches@gnu.org; Sun, 13 Sep 2020 20:31:06 -0400 Subject: bug#43325: [PATCH] gnu: Update coq and its dependents Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Mon, 14 Sep 2020 00:31:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 43325 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Robin Green Cc: 43325-done@debbugs.gnu.org Mail-Followup-To: 43325@debbugs.gnu.org, julien@lepiller.eu, greenrd@greenrd.org Received: via spool by 43325-done@debbugs.gnu.org id=D43325.160004340424506 (code D ref 43325); Mon, 14 Sep 2020 00:31:04 +0000 Received: (at 43325-done) by debbugs.gnu.org; 14 Sep 2020 00:30:04 +0000 Received: from localhost ([127.0.0.1]:52144 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kHcNf-0006Mx-Jq for submit@debbugs.gnu.org; Sun, 13 Sep 2020 20:30:03 -0400 Received: from lepiller.eu ([89.234.186.109]:58180) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kHcNc-0006L9-IQ for 43325-done@debbugs.gnu.org; Sun, 13 Sep 2020 20:30:01 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 8cbf5a06; Mon, 14 Sep 2020 00:29:58 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=8fv+/rCN7dDV C/Upkinb9848D33bkL1hlhhckpdxpjM=; b=OdSmzUX6zqmzswNhAXPX2/eJ30Jy sycj9kbl/et6LLUkU/I2xBHM+VrUH0LjwQFBD1+KcU3K5lju7Xv9QDdTpX6KvkUk 8Mt+ptAI+BhNGoqMIW9B3mBf7SkFd2wS7DiBSVV/8Er6+BTCqg3WURIypGZdEUa1 VETvwewh5W9R0FLXr19Ag6T14Y9iHnEuaDDSYKKFt5VSOrOY8ByAErWxExN3REEv 2Z32SPxEh6m5WRzOAC3WB6080SlPOCoKGysTGMNN8Bt2pFqVIwTs3yQnOragdQYN aQ5OO5g8r0Ut5upGaaeAVEnnasHbeNezgLuSPfV5vL7y1AgAfuE2V5ED/w== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 20cfe72c (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Mon, 14 Sep 2020 00:29:57 +0000 (UTC) Date: Mon, 14 Sep 2020 02:29:43 +0200 From: Julien Lepiller Message-ID: <20200914022943.5ea8cd91@tachikoma.lepiller.eu> In-Reply-To: <347d318b-8b4c-4207-a080-e0a216a7448a@greenrd.org> References: <20200911073027.6485-1-greenrd@greenrd.org> <347d318b-8b4c-4207-a080-e0a216a7448a@greenrd.org> X-Mailer: Claws Mail 3.17.6 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.0 (-) 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-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=lepiller.eu header.s=dkim header.b=OdSmzUX6; 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-Spam-Score: 0.09 X-TUID: RP39zCCFfdxJ Le Sun, 13 Sep 2020 15:43:28 +0100, Robin Green a =C3=A9crit : > Updated patch, fixing a test that I mistakenly removed in the > previous version. >=20 >=20 Pushed as 1042d269a723360a02b19a2baafef1e24a3bfc73, thank you!