From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id aPFFASXH0F78IAAA0tVLHw (envelope-from ) for ; Fri, 29 May 2020 08:26: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 mp1 with LMTPS id CKCXOCTH0F73KQAAbx9fmQ (envelope-from ) for ; Fri, 29 May 2020 08:26: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 7763E940039 for ; Fri, 29 May 2020 08:26:12 +0000 (UTC) Received: from localhost ([::1]:42350 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jeaLC-0003di-0R for larch@yhetil.org; Fri, 29 May 2020 04:26:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:60294) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jeaL4-0003cs-Dz for guix-patches@gnu.org; Fri, 29 May 2020 04:26:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:42203) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jeaL4-0002ge-4Z for guix-patches@gnu.org; Fri, 29 May 2020 04:26:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jeaL4-0001j5-0X for guix-patches@gnu.org; Fri, 29 May 2020 04:26:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211 Resent-From: Vincent Legoll Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 29 May 2020 08:26: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: 40092@debbugs.gnu.org Received: via spool by 40092-submit@debbugs.gnu.org id=B40092.15907407446598 (code B ref 40092); Fri, 29 May 2020 08:26:01 +0000 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) 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-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=KYnGj59g; 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: 1.59 X-TUID: 27fSF8VqLGzM 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