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 8IB4EeNC0V60cQAA0tVLHw (envelope-from ) for ; Fri, 29 May 2020 17:14:11 +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 YGRvDeNC0V4mIgAA1q6Kng (envelope-from ) for ; Fri, 29 May 2020 17:14:11 +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 D2E44940CBF for ; Fri, 29 May 2020 17:14:10 +0000 (UTC) Received: from localhost ([::1]:47524 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jeia9-00085t-C2 for larch@yhetil.org; Fri, 29 May 2020 13:14:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41322) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jeia2-00080n-34 for guix-patches@gnu.org; Fri, 29 May 2020 13:14:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:44532) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jeia1-0000xP-Pu for guix-patches@gnu.org; Fri, 29 May 2020 13:14:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jeia1-0007UR-J3 for guix-patches@gnu.org; Fri, 29 May 2020 13:14:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211 Resent-From: Leo Famulari Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 29 May 2020 17:14: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: Vincent Legoll Cc: 40092@debbugs.gnu.org Received: via spool by 40092-submit@debbugs.gnu.org id=B40092.159077238528720 (code B ref 40092); Fri, 29 May 2020 17:14:01 +0000 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 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.7 (-) 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=famulari.name header.s=mesmtp header.b=p1AvFExP; dkim=fail (rsa verify failed) header.d=messagingengine.com header.s=fm2 header.b=W/Y9tuY9; 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-Spam-Score: -0.01 X-TUID: HMT37+uXpj/1 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.