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 AG6ICebuz18BBQAA0tVLHw (envelope-from ) for ; Tue, 08 Dec 2020 21:23:50 +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 sBNQBebuz19uOwAAB5/wlQ (envelope-from ) for ; Tue, 08 Dec 2020 21:23:50 +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 5E3B1940466 for ; Tue, 8 Dec 2020 21:23:49 +0000 (UTC) Received: from localhost ([::1]:40800 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kmkSa-0000NK-4p for larch@yhetil.org; Tue, 08 Dec 2020 16:23:48 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:59340) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kmjT0-0002fm-1C for guix-patches@gnu.org; Tue, 08 Dec 2020 15:20:10 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:48369) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kmjSs-0002VL-Ep for guix-patches@gnu.org; Tue, 08 Dec 2020 15:20:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kmjSs-0006Av-B1 for guix-patches@gnu.org; Tue, 08 Dec 2020 15:20:02 -0500 Subject: bug#40092: [PATCH] gnu: ocaml-menhir: Update to 20200211 Resent-From: Christopher Baines Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Tue, 08 Dec 2020 20:20:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 40092 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: zimoun Cc: Vincent Legoll , 40092-done@debbugs.gnu.org, Leo Famulari Mail-Followup-To: 40092@debbugs.gnu.org, mail@cbaines.net, vincent.legoll@gmail.com Received: via spool by 40092-done@debbugs.gnu.org id=D40092.160745875423667 (code D ref 40092); Tue, 08 Dec 2020 20:20:02 +0000 Received: (at 40092-done) by debbugs.gnu.org; 8 Dec 2020 20:19:14 +0000 Received: from localhost ([127.0.0.1]:59913 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kmjS6-00069f-6h for submit@debbugs.gnu.org; Tue, 08 Dec 2020 15:19:14 -0500 Received: from mira.cbaines.net ([212.71.252.8]:38170) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kmjS3-00069V-VX for 40092-done@debbugs.gnu.org; Tue, 08 Dec 2020 15:19:12 -0500 Received: from localhost (188.29.103.89.threembb.co.uk [188.29.103.89]) by mira.cbaines.net (Postfix) with ESMTPSA id 4BEB327BC01; Tue, 8 Dec 2020 20:19:11 +0000 (GMT) Received: from capella (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 7b300d4e; Tue, 8 Dec 2020 20:19:09 +0000 (UTC) References: <20200529003859.GD5443@jasmine.lan> <87a0a0bb-af44-147a-f4c4-ee7beaecb648@gmail.com> <20200529171256.GB643@jasmine.lan> <86blh31kr6.fsf@gmail.com> User-agent: mu4e 1.4.13; emacs 27.1 From: Christopher Baines In-reply-to: <86blh31kr6.fsf@gmail.com> Date: Tue, 08 Dec 2020 20:19:08 +0000 Message-ID: <871rg0hwzn.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" 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 X-Migadu-Spam-Score: -2.91 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=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: 5E3B1940466 X-Spam-Score: -2.91 X-Migadu-Scanner: ns3122888.ip-94-23-21.eu X-TUID: KmTJStaq6EYW --=-=-= Content-Type: text/plain zimoun writes: > 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. :-) This patch looks good to me, so I've gone ahead and pushed to master as 20e5658c0471c76cc297cfd30ad49f0585310e27. Thanks, Chris --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAl/P37xfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9Xdu6Q/9HiIzsWHLwm7XbYkSvOb7ODFFfkPsf+qK SvJvhomKw8deVHyY8Of9FmLVRPH01F2JzNidN6oHfShPQLW9QSaMWp8WhAfipxY7 PvezaqpgGpgX6iDOlBt0U0rE2BmZprYG5gOVreYKB+/hjSaAB/9y28bdGnaKCB2H NeSQmHgWTr1sHioR1M58sj3XPCWN1ArIfA2yXHbDOORLwjCIdautYuw+PUycQUyp yMM73L3wnGG0Lr+eqH2+aut+zreBzRjp0OeBIE0gU96oh599qy6763C+xOAnbGGI amPfu7mE6tpew/CpHl0LAZ2DJCEJOscZjjfcCibO6cQAlNo14anH93JNdHBb5hXx EfE8fb1eoH609Puvj5AbSQscguGlAdnM6DcDbs+xAGRrvJqk0/eRqmXiLDFYMp/y Gmzp2Yw47WpNpeimkQcjGma7vZQ96ZQQlcef2cxV5iO59Y2IYF4F0X1n+Xs1Kaah VfJipTGXQvHQFHMhvl00iKqsQsalUudUyMVu3KMRiZY3Fb5PnTQ4lKMWFd9WLOJb NgLHgUygCGeBDq8AxvXyTLS3OPqE52MqgDTPFf28KGTHpZeOIpv1wuBEPcB+l1LP O6NsYPKH5fjREQZ7Ee3OLFW/uvu87N+LAgxIR9TrsnAj/1NmxG+KMtR5JFfs8wLh 1ZQAymWzcpY= =8UEf -----END PGP SIGNATURE----- --=-=-=--