From unknown Sat Jun 21 10:24:58 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#40092 <40092@debbugs.gnu.org> To: bug#40092 <40092@debbugs.gnu.org> Subject: Status: [PATCH] gnu: ocaml-menhir: Update to 20200211 Reply-To: bug#40092 <40092@debbugs.gnu.org> Date: Sat, 21 Jun 2025 17:24:58 +0000 retitle 40092 [PATCH] gnu: ocaml-menhir: Update to 20200211 reassign 40092 guix-patches submitter 40092 Vincent Legoll severity 40092 normal tag 40092 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 16 13:01:31 2020 Received: (at submit) by debbugs.gnu.org; 16 Mar 2020 17:01:31 +0000 Received: from localhost ([127.0.0.1]:37828 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jDt7L-00045u-AJ for submit@debbugs.gnu.org; Mon, 16 Mar 2020 13:01:31 -0400 Received: from lists.gnu.org ([209.51.188.17]:33862) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jDt7K-00045n-3k for submit@debbugs.gnu.org; Mon, 16 Mar 2020 13:01:30 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:46117) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jDt7I-0004rs-MN for guix-patches@gnu.org; Mon, 16 Mar 2020 13:01:29 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jDt7H-0000h1-By for guix-patches@gnu.org; Mon, 16 Mar 2020 13:01:28 -0400 Received: from mail-io1-xd33.google.com ([2607:f8b0:4864:20::d33]:45416) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jDt7H-0000Yk-5r for guix-patches@gnu.org; Mon, 16 Mar 2020 13:01:27 -0400 Received: by mail-io1-xd33.google.com with SMTP id w7so2501557ioj.12 for ; Mon, 16 Mar 2020 10:01:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=L0wiGqGpLoXg69Nkm4jFMXZEctzwk5e+kFxBpv7XjxY=; b=RC+oyyHoXuf9LhUYn5dLwM1FS/Eh/6kdHxZpDrrGcbqt741ErYQ4UfdpWUPLPLIDCE vtedlnczhw+nyIolPPenqdwFiyyzk/QrhHq4dFIC1fko9zpbszm+jB2sUSe/QD93aQ5M bAg2FSncOcZkKgfHOe+cPq9XRmim43JKO+qfjd6SdBnltr1+oWMIa+ub18aA/DaoSQWP SFj5umsf3I8SZMTifdZEVUbwF1bbrd8OSOyWgrF0/jyRrD+GoquQPFMPNGPMdlTeJaab FAomYQ/03TV0Jhntjz4kMbJhZrUGMgl2zyJsGZE1Jdt4INx0+SRMtjZREcm74GB6yOeQ Vk6Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=L0wiGqGpLoXg69Nkm4jFMXZEctzwk5e+kFxBpv7XjxY=; b=lQcNrTPHovlnkQFK9wiq/jnmhqqwdx3mj39BAUjZYXvSxUIcQ8mOPWi8a1AMspSuPm EPaPjQ4pvpQU22YMOd30CyPEHLTG0Tg85o17ui7B93UVGj9xCasRPHx+gJhcQdIZ8hk6 DOx+E9Ouigr8apH11B8CbyozHBVNtNstvZ8LJKr5xsjwj0n7hE2sM9HkOkwkvSh5HJ83 zcFuGO4lJSYDxrUAvy76un4ZAl0lQ+6hxPLm9fyBqIS8hNxNqIl6MKmFM9wYW5rQW+Gq 4kSjH47zAVeCsQ7iu0T0qBNb0zOiHdXHAj7QVuTf+0YQbP4JUyO+JczQ5Fws9BVass6V uE9Q== X-Gm-Message-State: ANhLgQ1rR+Hc921K5SyuHsFB0kN1yPWfa3GEH2PCfDuJuQ8OImbHvuzG 5+wsyfvK+traJnmgb+J15jYmO6QQFK7TMnbBOg/bxg== X-Google-Smtp-Source: ADFU+vu/m5qXFse/pVvyNZ4WccfZZWy1AeDBcQK3DbUyPDeTGjg0K8IlGRKxd3T+bPhEuIwHHuNUozgpAKsK4wtcPSQ= X-Received: by 2002:a5d:8d90:: with SMTP id b16mr130107ioj.9.1584378086194; Mon, 16 Mar 2020 10:01:26 -0700 (PDT) MIME-Version: 1.0 From: Vincent Legoll Date: Mon, 16 Mar 2020 18:01:15 +0100 Message-ID: Subject: [PATCH] gnu: ocaml-menhir: Update to 20200211 To: guix-patches@gnu.org Content-Type: multipart/mixed; boundary="000000000000052f0905a0fbc530" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::d33 X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) --000000000000052f0905a0fbc530 Content-Type: text/plain; charset="UTF-8" The attached patch depends on the previously submitted for inclusion dune 2.4.0 update (which may not go into master) The package is switched from ocaml-build-system to dune-build-system. This one is untested though -- Vincent Legoll --000000000000052f0905a0fbc530 Content-Type: text/x-patch; charset="US-ASCII"; name="0001-gnu-ocaml-menhir-Update-to-20200211.patch" Content-Disposition: attachment; filename="0001-gnu-ocaml-menhir-Update-to-20200211.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_k7upr73n0 RnJvbSBkNWEzNDI1NGYwZmRjYzUzZjFmNGMyNjE0ZTVmMjM5M2QxMmU2Y2M5IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBWaW5jZW50IExlZ29sbCA8dmluY2VudC5sZWdvbGxAZ21haWwu Y29tPgpEYXRlOiBNb24sIDE2IE1hciAyMDIwIDE2OjMyOjI1ICswMTAwClN1YmplY3Q6IFtQQVRD SF0gZ251OiBvY2FtbC1tZW5oaXI6IFVwZGF0ZSB0byAyMDIwMDIxMS4KCiogZ251L3BhY2thZ2Vz L29jYW1sLnNjbSAob2NhbWwtbWVuaGlyKTogVXBkYXRlIHRvIDIwMjAwMjExLgpbYnVpbGQtc3lz dGVtXTogU3dpdGNoIGZyb20gZ251IHRvIGR1bmUuClthcmd1bWVudHNdOiBSZW1vdmUgcGhhc2Vz IGFuZCBtYWtlLWZsYWdzLgpbbmF0aXZlLWlucHV0c106IHJlbW92ZSBmaWVsZC4KLS0tCiBnbnUv cGFja2FnZXMvb2NhbWwuc2NtIHwgMTUgKysrKy0tLS0tLS0tLS0tCiAxIGZpbGUgY2hhbmdlZCwg NCBpbnNlcnRpb25zKCspLCAxMSBkZWxldGlvbnMoLSkKCmRpZmYgLS1naXQgYS9nbnUvcGFja2Fn ZXMvb2NhbWwuc2NtIGIvZ251L3BhY2thZ2VzL29jYW1sLnNjbQppbmRleCAwNDdiY2MyZDdiLi42 NDE0ZmMwMzE2IDEwMDY0NAotLS0gYS9nbnUvcGFja2FnZXMvb2NhbWwuc2NtCisrKyBiL2dudS9w YWNrYWdlcy9vY2FtbC5zY20KQEAgLTcwNiw3ICs3MDYsNyBAQCBFbWFjcy4iKQogKGRlZmluZS1w dWJsaWMgb2NhbWwtbWVuaGlyCiAgIChwYWNrYWdlCiAgICAgKG5hbWUgIm9jYW1sLW1lbmhpciIp Ci0gICAgKHZlcnNpb24gIjIwMTgxMTEzIikKKyAgICAodmVyc2lvbiAiMjAyMDAyMTEiKQogICAg IChzb3VyY2UKICAgICAgKG9yaWdpbgogICAgICAgIChtZXRob2QgZ2l0LWZldGNoKQpAQCAtNzE1 LDE5ICs3MTUsMTIgQEAgRW1hY3MuIikKICAgICAgICAgICAgICAoY29tbWl0IHZlcnNpb24pKSkK ICAgICAgICAoZmlsZS1uYW1lIChnaXQtZmlsZS1uYW1lIG5hbWUgdmVyc2lvbikpCiAgICAgICAg KHNoYTI1NgotICAgICAgICAoYmFzZTMyICIxaXFkZjY0YXlxNHMzZDlqa3doczNzOHdxYzJzNDhi MjkyaHAwa2Nqc3NrZmhjdndnMGtyIikpKSkKLSAgICAoYnVpbGQtc3lzdGVtIG9jYW1sLWJ1aWxk LXN5c3RlbSkKKyAgICAgICAgKGJhc2UzMiAiMDE5aXpmNTFrZGM3cHprdzY4emc4YTJhbGM4bHh3 MWd3ZHA3aW45NzBtcjkwbjE2YjV6aiIpKSkpCisgICAgKGJ1aWxkLXN5c3RlbSBkdW5lLWJ1aWxk LXN5c3RlbSkKICAgICAoaW5wdXRzCiAgICAgIGAoKCJvY2FtbCIgLG9jYW1sKSkpCi0gICAgKG5h dGl2ZS1pbnB1dHMKLSAgICAgYCgoIm9jYW1sYnVpbGQiICxvY2FtbGJ1aWxkKSkpCiAgICAgKGFy Z3VtZW50cwotICAgICBgKCM6bWFrZS1mbGFncyBgKCJVU0VfT0NBTUxGSU5EPXRydWUiCi0gICAg ICAgICAgICAgICAgICAgICAgLChzdHJpbmctYXBwZW5kICJQUkVGSVg9IiAoYXNzb2MtcmVmICVv dXRwdXRzICJvdXQiKSkpCi0gICAgICAgIzp0ZXN0cz8gI2YgOyBObyBjaGVjayB0YXJnZXQKLSAg ICAgICAjOnBoYXNlcwotICAgICAgIChtb2RpZnktcGhhc2VzICVzdGFuZGFyZC1waGFzZXMKLSAg ICAgICAgIChkZWxldGUgJ2NvbmZpZ3VyZSkpKSkKKyAgICAgYCgjOnRlc3RzPyAjZikpIDsgTm8g Y2hlY2sgdGFyZ2V0CiAgICAgKGhvbWUtcGFnZSAiaHR0cDovL2dhbGxpdW0uaW5yaWEuZnIvfmZw b3R0aWVyL21lbmhpci8iKQogICAgIChzeW5vcHNpcyAiUGFyc2VyIGdlbmVyYXRvciIpCiAgICAg KGRlc2NyaXB0aW9uICJNZW5oaXIgaXMgYSBwYXJzZXIgZ2VuZXJhdG9yLiAgSXQgdHVybnMgaGln aC1sZXZlbCBncmFtbWFyCi0tIAoyLjI1LjEKCg== --000000000000052f0905a0fbc530-- From debbugs-submit-bounces@debbugs.gnu.org Thu May 28 20:39:08 2020 Received: (at 40092) by debbugs.gnu.org; 29 May 2020 00:39:08 +0000 Received: from localhost ([127.0.0.1]:53365 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jeT3E-0000PZ-FJ for submit@debbugs.gnu.org; Thu, 28 May 2020 20:39:08 -0400 Received: from wout5-smtp.messagingengine.com ([64.147.123.21]:45505) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jeT3D-0000Oy-0s for 40092@debbugs.gnu.org; Thu, 28 May 2020 20:39:07 -0400 Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.west.internal (Postfix) with ESMTP id 37E0D2D0; Thu, 28 May 2020 20:39:01 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute2.internal (MEProxy); Thu, 28 May 2020 20:39:01 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=famulari.name; h=date:from:to:cc:subject:message-id:references:mime-version :content-type:in-reply-to; s=mesmtp; bh=BSnwoYdBLV6SvUyO5cDzRFVR 284+afttvZ6LBsvWAq0=; b=iG4z4C+hvCr8htywDrFshMW0hk5cCBHCGp8pdA/6 H6bOBiFBNRDYheyzr6p8KBYZVNnAZnqxyj1ncQ7HKOtCLmyZyo/iyZRDtCkVe70r 8oP53O/2BpuRsq1Hnf78ehd3UK7BLf+lubqaRn0eEy0QOztd9Zqhh+EcuPqW3doi 7YA= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm2; bh=BSnwoY dBLV6SvUyO5cDzRFVR284+afttvZ6LBsvWAq0=; b=Mh7CZwTdBUz40toO1lily8 XjpAX1PcVzpowGZChKjU7tCErGnuD4G/cSvqHW4lVlHmgyOozJeQJN2uQ6lfEJkS rFkiw/Y8YlmVD2E40xyPaUjNLsXNnVUqukyF5RedNb0vrjJw8usAabWuDxYurUzc iEkRhcLu7zG2BjNpCefyv0h/fzx2cuRSutFr6wWzXjSapMaYz4u9GoxkAcaMe1Py 5oNbDVezehl08erBmCWJYgZ1TWkeURVbSWvAh7lTVoBiEv6jMRb1O/WOkfQBT/V2 HHXL5X5pGPxeSGmezRSV60blK2S7iCMIVzML1wPawQkQQdaS5BE+Od2ZOFO5x+jQ == X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduhedruddvjedgfeefucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhepfffhvffukfhfgggtuggjsehttdertddttddvnecuhfhrohhmpefnvghoucfh rghmuhhlrghrihcuoehlvghosehfrghmuhhlrghrihdrnhgrmhgvqeenucggtffrrghtth gvrhhnpeeukeektdffvddtudegjeegtdevhfeufeeivdejiedtieegtdevjedvjeehffev gfenucfkphepjeeirdduvdegrddufeekrdeifeenucevlhhushhtvghrufhiiigvpedtne curfgrrhgrmhepmhgrihhlfhhrohhmpehlvghosehfrghmuhhlrghrihdrnhgrmhgv X-ME-Proxy: Received: from localhost (c-76-124-138-63.hsd1.pa.comcast.net [76.124.138.63]) by mail.messagingengine.com (Postfix) with ESMTPA id 9C99B30614FA; Thu, 28 May 2020 20:39:00 -0400 (EDT) Date: Thu, 28 May 2020 20:38:59 -0400 From: Leo Famulari To: Vincent Legoll Subject: Re: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211 Message-ID: <20200529003859.GD5443@jasmine.lan> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 40092 Cc: 40092@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) On Mon, Mar 16, 2020 at 06:01:15PM +0100, Vincent Legoll wrote: > The attached patch depends on the > previously submitted for inclusion dune 2.4.0 > update (which may not go into master) > > The package is switched from ocaml-build-system to dune-build-system. > > This one is untested though It's been a while... is this patch still waiting for something else? From debbugs-submit-bounces@debbugs.gnu.org Fri May 29 04:25:44 2020 Received: (at 40092) by debbugs.gnu.org; 29 May 2020 08:25:44 +0000 Received: from localhost ([127.0.0.1]:53746 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jeaKm-0001iM-HF for submit@debbugs.gnu.org; Fri, 29 May 2020 04:25:44 -0400 Received: from mail-wm1-f65.google.com ([209.85.128.65]:53392) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jeaKl-0001i7-9z for 40092@debbugs.gnu.org; Fri, 29 May 2020 04:25:43 -0400 Received: by mail-wm1-f65.google.com with SMTP id l26so2233124wme.3 for <40092@debbugs.gnu.org>; Fri, 29 May 2020 01:25:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=/0ftQUVQ/BoNG6irVIVZ75PlQO/qIGKBVIvagvcYJyc=; b=KYnGj59gM3w4502XWqwDuEabCPavXHrNlrx6x4epecQKXx2Mmr8itWMSdOL5lOFfWj Sc/6fjhWPSRQ8hsIuoTcMh4hBvebcYLFx2x6zZ3lQ8QtRV4NSd1ixdCGqurc8pljyFvN imfS2liMiCsI9ejj/l9yTmJ+uo948KUvB1gFreykC9PGWGZwtRW14fFeSttdWkk/WBwf BoNd03ZaF/yK3E0krsHx/QHwreBeAeLqait336ZDbTczFITe0smjGuUW8BH+veyCs22z 2pfN6qhnXWIZznvZzBNLsnpOUGPyqoMb192akqBU254aqq/om+dwX5eaVz2rPUsB1zn0 i75A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:cc:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=/0ftQUVQ/BoNG6irVIVZ75PlQO/qIGKBVIvagvcYJyc=; b=OraNSwEen8HmrA+eOxTp1km8kpvrIcEA5+kzoQ6GlFxxMNdZazn5/V9MMeHMCQ0kQf Dn3wc+nIq+SgIEwuEChvV9n8YKZHZ7j5ha4UIyBIeFNwBB/FeSuRhYGPrQiGTGMXBvP1 8wjrvXYr0XoDZzllkdKxuOCAXhNL/eRN5xi4XwPhV87czNbDV75SjQyYRt+22pNYfG8v Gip5LkZHDh0wDV65xwNNaSEeF6vmrbB9YV2/ef6o35zhOQjmWiVSZw7VQofcTbmPPJmc K29OFoYwRY5JUjE3TqYRiRw5+svuwMaa0U3+Z81TCSCI235IeBWaiehU2kChq7r78oP6 dFBw== X-Gm-Message-State: AOAM532JKaJDgMbqPG3bu6GPQqAqQGyZiQ9gozIpvxNglK57ds11dbbb ce5TXG2gUzK6sZ1JN+OBf6vHd/cQ X-Google-Smtp-Source: ABdhPJzWQHHzU4QqdVfaD9cT8za1+l1LXQy1+026chlL/g1T1F2hRJeWceO6VWc8vowV9tvn1F9UcQ== X-Received: by 2002:a1c:a943:: with SMTP id s64mr7270129wme.103.1590740737242; Fri, 29 May 2020 01:25:37 -0700 (PDT) Received: from [10.0.0.2] (se167-1-82-242-148-1.fbx.proxad.net. [82.242.148.1]) by smtp.gmail.com with ESMTPSA id y185sm10898232wmy.11.2020.05.29.01.25.35 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 29 May 2020 01:25:36 -0700 (PDT) Subject: Re: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211 To: Leo Famulari References: <20200529003859.GD5443@jasmine.lan> From: Vincent Legoll Message-ID: <87a0a0bb-af44-147a-f4c4-ee7beaecb648@gmail.com> Date: Fri, 29 May 2020 10:25:34 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.8.0 MIME-Version: 1.0 In-Reply-To: <20200529003859.GD5443@jasmine.lan> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 40092 Cc: 40092@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hello, On 29/05/2020 02:38, Leo Famulari wrote: > On Mon, Mar 16, 2020 at 06:01:15PM +0100, Vincent Legoll wrote: >> The attached patch depends on the >> previously submitted for inclusion dune 2.4.0 >> update (which may not go into master) >> >> The package is switched from ocaml-build-system to dune-build-system. >> >> This one is untested though > > It's been a while... is this patch still waiting for something else? 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. I'm not into ocaml, (was just trying to update packages, to get acquainted with guix packaging). I think I was too optimistic with those. I'll let the ones who know handle this. I don't know if this means closing the issues or letting them open though... -- Vincent Legoll From debbugs-submit-bounces@debbugs.gnu.org Fri May 29 13:12:01 2020 Received: (at control) by debbugs.gnu.org; 29 May 2020 17:12:02 +0000 Received: from localhost ([127.0.0.1]:56072 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jeiY5-0007Qn-Il for submit@debbugs.gnu.org; Fri, 29 May 2020 13:12:01 -0400 Received: from wout2-smtp.messagingengine.com ([64.147.123.25]:51419) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jeiY4-0007QV-AM for control@debbugs.gnu.org; Fri, 29 May 2020 13:12:01 -0400 Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.west.internal (Postfix) with ESMTP id 9B8E316E4; Fri, 29 May 2020 13:11:54 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute2.internal (MEProxy); Fri, 29 May 2020 13:11:54 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=famulari.name; h=date:from:to:message-id:mime-version:content-type; s=mesmtp; bh=IXrBXSYjUdstVJIR5jzyS4k82b8b4uhSKdP6grsIYT4=; b=LTiJrithv9aK eTJiygyrMOo+3nsHxPCDGs6wDVuE7Isd+Ym5gefe2kHzSO15/6EmZxTTwD4Y2OZ6 2MmJJmN7uYBdr8p/DbWeSkAVnm4d7m02ltrCpLv8KRE6df0vTptj3t2DkHyd+2hi o2NAmLJjzdgHptWa8pymqG8vZY05u+I= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:message-id :mime-version:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm2; bh=IXrBXSYjUdstVJIR5jzyS4k82b8b4uhSKdP6grsIY T4=; b=Zs/Vu19kNTEoeLFVMDnH7jmNv2EyBULBUXuF3r1gqA4Ly7oRwkPelmjly 92ltAE6mVyTewPGFLYdQLJAJ2o/SBNsd955kNEbm/DWIRCAu2UnnrJEbzhCmnDo7 RapsMrOoYqtp4D/FXU453OD0kXEKy3J2isuKfPXSxelQINBDZZ9MxEf93mzsyj3o x3M5YJT7ONyij6UlZFuhQC3uKFBcT+pkqG+gjKKakBDE9nSmKgfUZzzDUiRsyb+B a5JIR/LJb3nopWbjScKavrl3l4w5BF5sulP97Oeq3/EtLqGGcrqDavhnT7GLtg2Y gk0X7jIp4SW3ATCeo1DnYIf8N6Aeg== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduhedruddvkedgkeehucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucfgmhhpthihuchsuhgsjhgvtghtucdluddtmdenuc fjughrpeffhffvkfggtggusehttdertddttddvnecuhfhrohhmpefnvghoucfhrghmuhhl rghrihcuoehlvghosehfrghmuhhlrghrihdrnhgrmhgvqeenucggtffrrghtthgvrhhnpe fhjeeigfefvedvfeetheegledtkeevuddtgedtudeiteehteegvdefffduffefffenucfk phepjeeirdduvdegrddufeekrdeifeenucevlhhushhtvghrufhiiigvpedtnecurfgrrh grmhepmhgrihhlfhhrohhmpehlvghosehfrghmuhhlrghrihdrnhgrmhgv X-ME-Proxy: Received: from localhost (c-76-124-138-63.hsd1.pa.comcast.net [76.124.138.63]) by mail.messagingengine.com (Postfix) with ESMTPA id 8AC1A3061CB6 for ; Fri, 29 May 2020 13:11:53 -0400 (EDT) Date: Fri, 29 May 2020 13:11:52 -0400 From: Leo Famulari To: control@debbugs.gnu.org Message-ID: <20200529171152.GA1454@jasmine.lan> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-Spam-Score: 1.3 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: block 40092 by 40091 Content analysis details: (1.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 URIBL_BLOCKED ADMINISTRATOR NOTICE: The query to URIBL was blocked. See http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block for more information. [URIs: famulari.name] -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at https://www.dnswl.org/, low trust [64.147.123.25 listed in list.dnswl.org] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 SPF_PASS SPF: sender matches SPF record 0.0 RCVD_IN_MSPIKE_H4 RBL: Very Good reputation (+4) [64.147.123.25 listed in wl.mailspike.net] 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders 1.8 MISSING_SUBJECT Missing Subject: header 0.2 NO_SUBJECT Extra score for no subject X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) block 40092 by 40091 From debbugs-submit-bounces@debbugs.gnu.org Fri May 29 13:13:05 2020 Received: (at 40092) by debbugs.gnu.org; 29 May 2020 17:13:05 +0000 Received: from localhost ([127.0.0.1]:56078 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jeiZ6-0007TA-SY for submit@debbugs.gnu.org; Fri, 29 May 2020 13:13:05 -0400 Received: from wout2-smtp.messagingengine.com ([64.147.123.25]:37879) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jeiZ5-0007SV-Tz for 40092@debbugs.gnu.org; Fri, 29 May 2020 13:13:04 -0400 Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.west.internal (Postfix) with ESMTP id 314F5B06; Fri, 29 May 2020 13:12:58 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute2.internal (MEProxy); Fri, 29 May 2020 13:12:58 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=famulari.name; h=date:from:to:cc:subject:message-id:references:mime-version :content-type:in-reply-to; s=mesmtp; bh=VxnyYvfFOzxJCrx2IK896xLQ KriPUYIYm3rq2zS5V50=; b=p1AvFExPgCe6s6y1fz7qBcGMUB+YBTKdwF6i3+NP hWxU3c6dDRMpNJwtpgtuRY4vJ4fnWDpXHR9t/rPVKahdJXrdTeDNpGWQ14cS4djP hBYb7j1yikSYBDDIjZj9TJddrYWjIBgl6spmw8UmB0VzFcMXfUSGGb89ZqMk6+1d IdU= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm2; bh=VxnyYv fFOzxJCrx2IK896xLQKriPUYIYm3rq2zS5V50=; b=W/Y9tuY9ihDbID9BONobY/ AQ/7J5AJbicw+VIbrf1YpviFCxVAKCcWIx5Fh1lrEdxNuFVVVvkUHDPF4BlQaXA/ SNttWydD/I7e4SWjw06aKhrgMyjddBIVLU3i7ID1FUjvCilRY77OldfDFuyROoRt KSOPwDsrkEsyZQTmZHPIIhUp1Xw2l+fpdU/t6+lmINt4O2L9xwCz0yDfC8Ig2eVI tKEYl6IvL3kxwf6QQFIueKLfSyUGC3iEbauZzAP6QZDnhX/OJJzmR7UBVzjyygOP 9D1hWJqud5c21lTCSiu7PjPz6xSMHiROY3KN2kNMwiCy3wFivdsnZQiOBvZ1Vchw == X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduhedruddvkedgkeeiucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhepfffhvffukfhfgggtuggjsehttdertddttddvnecuhfhrohhmpefnvghoucfh rghmuhhlrghrihcuoehlvghosehfrghmuhhlrghrihdrnhgrmhgvqeenucggtffrrghtth gvrhhnpeeukeektdffvddtudegjeegtdevhfeufeeivdejiedtieegtdevjedvjeehffev gfenucfkphepjeeirdduvdegrddufeekrdeifeenucevlhhushhtvghrufhiiigvpedtne curfgrrhgrmhepmhgrihhlfhhrohhmpehlvghosehfrghmuhhlrghrihdrnhgrmhgv X-ME-Proxy: Received: from localhost (c-76-124-138-63.hsd1.pa.comcast.net [76.124.138.63]) by mail.messagingengine.com (Postfix) with ESMTPA id 7694430614FA; Fri, 29 May 2020 13:12:57 -0400 (EDT) Date: Fri, 29 May 2020 13:12:56 -0400 From: Leo Famulari To: Vincent Legoll Subject: Re: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211 Message-ID: <20200529171256.GB643@jasmine.lan> References: <20200529003859.GD5443@jasmine.lan> <87a0a0bb-af44-147a-f4c4-ee7beaecb648@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <87a0a0bb-af44-147a-f4c4-ee7beaecb648@gmail.com> X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 40092 Cc: 40092@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) 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. From debbugs-submit-bounces@debbugs.gnu.org Thu Oct 15 13:07:04 2020 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 To: Leo Famulari Subject: Re: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211 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-Debbugs-Envelope-To: 40092 Cc: Vincent Legoll , 40092@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) 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. :-) From debbugs-submit-bounces@debbugs.gnu.org Tue Dec 08 15:19:14 2020 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 To: zimoun Subject: Re: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211 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-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 40092-done Cc: Vincent Legoll , 40092-done@debbugs.gnu.org, Leo Famulari X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= 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----- --=-=-=-- From unknown Sat Jun 21 10:24:58 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 06 Jan 2021 12:24:12 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator