From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 8G5cKxrqTWIxnQAAgWs5BA (envelope-from ) for ; Wed, 06 Apr 2022 21:29:30 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id 4I76JxrqTWIKXQEAauVa8A (envelope-from ) for ; Wed, 06 Apr 2022 21:29:30 +0200 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 321152AF54 for ; Wed, 6 Apr 2022 21:29:30 +0200 (CEST) Received: from localhost ([::1]:45462 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ncBLM-0006AC-Sv for larch@yhetil.org; Wed, 06 Apr 2022 15:29:28 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57504) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ncBKx-000683-6Q for guix-patches@gnu.org; Wed, 06 Apr 2022 15:29:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:37062) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ncBKw-0005iJ-UP for guix-patches@gnu.org; Wed, 06 Apr 2022 15:29:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ncBKw-0003AK-R5 for guix-patches@gnu.org; Wed, 06 Apr 2022 15:29:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#53882] [PATCH] gnu: Add ocaml-core. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 06 Apr 2022 19:29:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 53882 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 53882@debbugs.gnu.org, Julien Lepiller Received: via spool by 53882-submit@debbugs.gnu.org id=B53882.164927328812075 (code B ref 53882); Wed, 06 Apr 2022 19:29:02 +0000 Received: (at 53882) by debbugs.gnu.org; 6 Apr 2022 19:28:08 +0000 Received: from localhost ([127.0.0.1]:59187 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ncBK4-00038g-5l for submit@debbugs.gnu.org; Wed, 06 Apr 2022 15:28:08 -0400 Received: from mail-wm1-f43.google.com ([209.85.128.43]:37775) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ncBK2-000383-Tu for 53882@debbugs.gnu.org; Wed, 06 Apr 2022 15:28:07 -0400 Received: by mail-wm1-f43.google.com with SMTP id l7-20020a05600c1d0700b0038c99618859so4282947wms.2 for <53882@debbugs.gnu.org>; Wed, 06 Apr 2022 12:28:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=xggVPKKg5vgUqHSDoxFbQXL3rVlEQ5PvZAu+h+C97uY=; b=hrY/Kk1yA2qExUZE4fxqn4KgBT7NwObPl6qTCfIJUTUDqqDWwg3D2CiMPcgQw/V3+2 xoIydjPp0U91y0aYfv35439h7hB7Lpa6GG2DYhPs71sWer9I3riMsUlhrx5ISoNNgEzo c2EEkbNooUQdBCxlqOcH0PAJwszj1ZSkk8omoGOQLqDm1wpBHu950p1pyad4rDza7xLl zfdcaMzdRjLzlUgwPNLcMIWXrsupCEX2wgFUOPzZXahsSpEFzF3VUZyunQKHw0hCEwW/ TVzR9sYYz6kVdHRHnwbVGUXkL0IuMHdCopsFTAGrnYDGelsdfwHb68BtXvm+tomMQ4ZI zrqw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=xggVPKKg5vgUqHSDoxFbQXL3rVlEQ5PvZAu+h+C97uY=; b=s1h30uv44hIiaFQTDwyx3ScEgjgqZy7hl5H863T7hdfY165p0Zs+Z5WnV2AchwtT8n 8AAhT0TxaZ2e+B8NN9SP74EzKQOod/bW3YK+AwM3t1uK4EO8dpVT6Zn6VZvcp8nDeLW4 uqjwVW1lChm3KWbXCrZTE4NEu3HdhIVizpVkceS4YRBsrzN61x8t7B6wTIEbS5m8Drq4 AOYkmsehE3Fijc96BThqIm8spiBs7mMZQyKYPczvt4i93/2EeFs6qBXalpoYyQsMsfWO NZ+4gLzaTCHzVC0EF49SMF2c0/qP7zrIvmeG96lbUefxuwlJAdSue/kvRfweCG2wyNIT xBdg== X-Gm-Message-State: AOAM5327EKQ8je+xlmo3KaP3bM5BAl8BTjVnqGOmvAaz5IRKSW6DDfoy ZunPQCzwqAzpmxztdouJTG1tsvG63NI= X-Google-Smtp-Source: ABdhPJxmFryB6ZH1FIMTe0CMxuBGcw2MrVwqqXbXOL3s24MU6L2mQIoqH+qHckLQnSe38syXxQWY7A== X-Received: by 2002:a05:600c:3b26:b0:38c:8358:4b84 with SMTP id m38-20020a05600c3b2600b0038c83584b84mr9004969wms.185.1649273280662; Wed, 06 Apr 2022 12:28:00 -0700 (PDT) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id s1-20020adfb781000000b002060d4a8bd9sm10403100wre.17.2022.04.06.12.28.00 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 06 Apr 2022 12:28:00 -0700 (PDT) From: zimoun References: <1dcef02fe1f5f25657c6427d09c43bfc41091050.1644350657.git.julien@lepiller.eu> <34da3833791425a6168fdcf79c91381ecf469af1.1644350658.git.julien@lepiller.eu> <87h78pblzx.fsf_-_@gmail.com> <87k0cv8fqo.fsf_-_@gmail.com> <877d83ms37.fsf_-_@gnu.org> Date: Wed, 06 Apr 2022 21:00:01 +0200 In-Reply-To: <877d83ms37.fsf_-_@gnu.org> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'s message of "Tue, 05 Apr 2022 18:07:40 +0200") Message-ID: <8735iqqbpq.fsf_-_@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1649273370; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=xggVPKKg5vgUqHSDoxFbQXL3rVlEQ5PvZAu+h+C97uY=; b=WvGf0PC5+VdzWkYYjA3duJ2tSszr7gvGHY2wZbH6TZX7pt8ShThQgJSZZxZ+LWwWWfTP2j XcKTcLNqSCgo60FJ1GFXDdC0gquvpFnYpBPC1x6tsVvU+rlY0eEYSpYccdjfNrSyuRWb71 hiRos/SH/3t1V1HX/Wq5jtPEfoODG15hEJ9EBsJzrNBVGdc9SvE5DyAizvLAKAvZ978dvI CxOcJX/ACbns6CY0reNYhRNIivZJ9iyyi92t56pUN6PScRnoCiTpPHHQImaPxT0w6nDRXH nUwGyEXxPOVlGWfNjjVQWfr+5y+A0a9Izf6XvqACRpAWWEgZ4mI3loho16AAyg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1649273370; a=rsa-sha256; cv=none; b=XRriqmA5mB7ihoT3TUFpEFcKZTUjuZaV6zRNon0ledcHcGBhsYfD5TWirDHffISU3jMyLI KZ0JChzvNzJsul6Tq8vl1KCON4NRkItAHXmYKXN3ulmyurXEmhiFjfL5MmycoNJ+nEZVrd PJi/+1xCQy0cveSNxltsXD4gkFfABZFHN6sWHSP9ryr+YctLHU0ygQgH/iE6OTksUa/Mu6 CjB8sQ47UF29K9YAXEFxVroQurbqhhSIFASEC4llDGA+Yaau3sartxgoAcbDqe8bMDEKPt 0eGWlDkC9Mx0AsdnELww1xseObToToGI+q7Nx8kFkcKbSqvaSLIuJD8XkrJVyQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b="hrY/Kk1y"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 5.93 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b="hrY/Kk1y"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 321152AF54 X-Spam-Score: 5.93 X-Migadu-Scanner: scn1.migadu.com X-TUID: NsgUn7/6nggp Hi Ludo, I have v2 which fixes minor things (typo, indent etc.). The other one about ocaml-ppx-jane seems an error an my side. I will send this v2 on this Friday Apr. 8th. However, the series will be broken because of ocaml-odoc broken [1] by: --8<---------------cut here---------------start------------->8--- commit bd9eb9ef27496e951c070f5b206c164c0c998483 Author: Julien Lepiller Date: Sun Mar 13 14:48:53 2022 +0100 gnu: dune: Update to 3.0.3. * gnu/packages/ocaml.scm (dune): Update to 3.0.3. (dune-configurator)[arguments]: Remove vendored dependencies. (ocaml4.09-dune-configurator)[arguments]: Extend from dune-configurator. gnu/packages/ocaml.scm | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) --8<---------------cut here---------------end--------------->8--- This series is independant of the failure but it would be cool to shave the yak. ;-) I will give a look on this Friday if no one beats me. 1: Cheers, simon