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 ms11 with LMTPS id +ImSJ/yBiF/gOAAA0tVLHw (envelope-from ) for ; Thu, 15 Oct 2020 17:08:12 +0000 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 kF1TI/yBiF+OYgAAB5/wlQ (envelope-from ) for ; Thu, 15 Oct 2020 17:08:12 +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 3785094029C for ; Thu, 15 Oct 2020 17:08:12 +0000 (UTC) Received: from localhost ([::1]:46030 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kT6jb-000387-2s for larch@yhetil.org; Thu, 15 Oct 2020 13:08:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:48362) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kT6jS-00035E-9a for guix-patches@gnu.org; Thu, 15 Oct 2020 13:08:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:44920) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kT6jR-0003Se-Tu for guix-patches@gnu.org; Thu, 15 Oct 2020 13:08:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kT6jR-0003Qx-LQ for guix-patches@gnu.org; Thu, 15 Oct 2020 13:08:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211 Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 15 Oct 2020 17:08:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 40092 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Leo Famulari Cc: Vincent Legoll , 40092@debbugs.gnu.org Received: via spool by 40092-submit@debbugs.gnu.org id=B40092.160278162413132 (code B ref 40092); Thu, 15 Oct 2020 17:08:01 +0000 Received: (at 40092) by debbugs.gnu.org; 15 Oct 2020 17:07:04 +0000 Received: from localhost ([127.0.0.1]:56466 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kT6iW-0003Pk-9U for submit@debbugs.gnu.org; Thu, 15 Oct 2020 13:07:04 -0400 Received: from mail-wr1-f65.google.com ([209.85.221.65]:41497) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kT6iU-0003PD-E3 for 40092@debbugs.gnu.org; Thu, 15 Oct 2020 13:07:02 -0400 Received: by mail-wr1-f65.google.com with SMTP id s9so4421983wro.8 for <40092@debbugs.gnu.org>; Thu, 15 Oct 2020 10:07:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=1D94Fu1kh5qQbh77JQwTpw8PtMfT8YmH/5LfLhQ9QB0=; b=Mg5eEWSgPxmnRfFAR/y0UGHWNnlG6D7TXCd+soiRl3EhCQJYQWv+qOkNk18ADDfCW1 7kFDuf/dDiBRatxenoNEZv7zTmBC+iDuMpOFF3O9Lgs8jUB1sjLm/6Ug54F2EG58cmvs 8mhGzh5ltLRClyu9iPJPQWp6rMaKGgKy4w+D+vV6w1mzvYCrE9pcDvKV+7wlF7c08YWa o5Q2PcjvKCPHunb2zWgvZmPIlQoeOzSzwPqZiaViN+84FGY/sWlEbQBly3KE7PES5qLv vJ52EdipvVQIgVjn1LrVWQJfi80Byz19SrYzcTMRxwc3YMnz6u3YFWsh0fHBSCYgMNcO 1bPA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=1D94Fu1kh5qQbh77JQwTpw8PtMfT8YmH/5LfLhQ9QB0=; b=RH/mD7OE3/kwP6B3HbD3OdmW3X6nQuwi+nN19hJiOcg6yMfCXvhqaVN0X5kw97CL+K 7n7Ibh4OqUZWeH528YczcOdD/9G5VcjHa2MB8EwhvW0EVwYBWQw6u8gH7vvO36BRXCZW LmczhM0L2brmJL7koaOQ6za16JVdnMuuLcuSUuN7vZWVE98mL/uVGJRWl1FhyTyNLrJu aX8bF4L3RMTEeWJu3Msg3sSkLlHSYFKTCYQqB+4Uqp4apgwcg5SIBKtEMFBNAeSRth9l /m37rvWB4+zzA/WxhhiSp1oNWDxunLrAsXhdfseP5jT1vu135ZBZ5CZU5FB29gvhUf4L glng== X-Gm-Message-State: AOAM5337bQGcbtjlCPe/pkvirxZzerfV3/O1CaewVXO0/zku7fSTsrKe OyX41XmdEnmlX2H75947X/OG801IHxk= X-Google-Smtp-Source: ABdhPJxefV4tRYFTH5zcrrDAZ1lwJ67cc+A3dB4RCrKhHFQkLIhVuL9+wvvIU+jj88p9szkyuCvJFg== X-Received: by 2002:a5d:4b49:: with SMTP id w9mr5755438wrs.41.1602781616472; Thu, 15 Oct 2020 10:06:56 -0700 (PDT) Received: from lili ([88.126.110.68]) by smtp.gmail.com with ESMTPSA id l26sm5179373wmi.39.2020.10.15.10.06.55 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 15 Oct 2020 10:06:56 -0700 (PDT) From: zimoun References: <20200529003859.GD5443@jasmine.lan> <87a0a0bb-af44-147a-f4c4-ee7beaecb648@gmail.com> <20200529171256.GB643@jasmine.lan> Date: Thu, 15 Oct 2020 19:06:53 +0200 In-Reply-To: <20200529171256.GB643@jasmine.lan> (Leo Famulari's message of "Fri, 29 May 2020 13:12:56 -0400") Message-ID: <86blh31kr6.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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=gmail.com header.s=20161025 header.b=Mg5eEWSg; 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-Spam-Score: 0.09 X-TUID: RmNnTHXoLPwQ Dear, On Fri, 29 May 2020 at 13:12, Leo Famulari wrote: > On Fri, May 29, 2020 at 10:25:34AM +0200, Vincent Legoll wrote: >> Yes, this depends on dune 2 (we still have 1.11.3) which is breaking >> compatibility by removing support for jhbuild. See details in issue: >> #40091. > > Alright, I've set this patch as "blocked by" #40091 in the bug tracker. The recent commit 339177956a updates dune to 2.7.1, therefore somehow unblock 40091. Could you try to rebase your patch? All the best, simon PS: It could be nice to have this recent version of menhir in v1.2. :-)