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 ms0.migadu.com with LMTPS id 1yU0BLRi0GDlrwAAgWs5BA (envelope-from ) for ; Mon, 21 Jun 2021 11:58:12 +0200 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 GGCxOrNi0GArWwAA1q6Kng (envelope-from ) for ; Mon, 21 Jun 2021 09:58: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 853631EA84 for ; Mon, 21 Jun 2021 11:58:10 +0200 (CEST) Received: from localhost ([::1]:39630 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lvGgz-0005C5-8i for larch@yhetil.org; Mon, 21 Jun 2021 05:58:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34476) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGgs-0005Bw-6Z for guix-patches@gnu.org; Mon, 21 Jun 2021 05:58:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52153) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lvGgr-0005x9-Uw for guix-patches@gnu.org; Mon, 21 Jun 2021 05:58:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lvGgr-0003kF-Of for guix-patches@gnu.org; Mon, 21 Jun 2021 05:58:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49150] [PATCH 0/9] Add ocamlformat and dependencies Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Jun 2021 09:58:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 49150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 49150@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.162426942914331 (code B ref -1); Mon, 21 Jun 2021 09:58:01 +0000 Received: (at submit) by debbugs.gnu.org; 21 Jun 2021 09:57:09 +0000 Received: from localhost ([127.0.0.1]:35466 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGg1-0003j5-Db for submit@debbugs.gnu.org; Mon, 21 Jun 2021 05:57:09 -0400 Received: from lists.gnu.org ([209.51.188.17]:55366) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGfz-0003iw-8A for submit@debbugs.gnu.org; Mon, 21 Jun 2021 05:57:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34336) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGfy-00059k-VL for guix-patches@gnu.org; Mon, 21 Jun 2021 05:57:06 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:38224 helo=mail.yoctocell.xyz) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGfx-0005L0-35 for guix-patches@gnu.org; Mon, 21 Jun 2021 05:57:06 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269420; bh=9coaCd7k0ePwH7GkpOfsxic+EiDpwCKMSFcgidSBkUw=; h=From:To:Subject:Date; b=c32ZEuGlOqcfEw2UFFOHEn954TkWY8ywMOWldPL5/Klj7F8BjD2QjwOreSOH/2E+K FRFQgU/83i0F7RUcKuHOpT1Mr+ntVxCCyrg7B8SfbxPFBeu3oeusw8HqZfUjQ4rlbi SH9cNd9dnTnaQASMECSp0eh7G4GQpCZhtSAqPoJQ= Message-Id: Date: Mon, 21 Jun 2021 11:56:59 +0200 MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Received-SPF: pass client-ip=87.96.130.155; envelope-from=public@yoctocell.xyz; helo=mail.yoctocell.xyz X-Spam_score_int: 29 X-Spam_score: 2.9 X-Spam_bar: ++ X-Spam_report: (2.9 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FROM_SUSPICIOUS_NTLD=0.499, FROM_SUSPICIOUS_NTLD_FP=1.486, PDS_OTHER_BAD_TLD=1.999, RDNS_DYNAMIC=0.982, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action 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 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1624269491; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:list-id:list-help:list-unsubscribe:list-subscribe: list-post:dkim-signature; bh=AlLg7MruX95z+gnpTSQm8mdXyrUdLdY/VyyTMAmE8Dc=; b=TKXhOfSclgzVgiIJnZyk379ZEpLKZTkOx7bX8kxm5aYMQxKu3JfOziUbwEqRjZ1xdqPOo6 KahtS/3TdmbJ82kfhKgD6DnQvAlifnzowEYMFLYi+a4e4QlXPh2VatgFzvf6QWttfSYrjs bubNDp9EIcNzj+9yBLqQ5K7xRecx3FFwByGzy60ZqQYCYHtWcX0XUWn4avdNwKu969EVnA Gjv9svbHlE5YyI3h+aRPuwleCwEJjq/gCYOCpxgskU3WEwnAQMzJUUl4tDhZjcgS4XikXW Li6T83EUayJw4fFUztMTUS9ChfU/2elxplDIIf0bhs/knAuS2ut97YE+JON9fw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1624269491; a=rsa-sha256; cv=none; b=OV0W/a9dFWYhamzewP/VNwmE9r/tkGsCRVybnZQ/ujtjO6yTJpEA5oDs4bCS704WrWQDQt XWdSRkUt/himdKShl/MIabZFEMSbkeMmWxB7Em71jNbba6E4j3HIncn44niYCCpX0onnFb U6hH4uvjxIsfNEUwrgK7zf/qrjuAKHUWomQ8D2UOWgUfg95rXRjHkgsBDekZtZU5CaoEUU ZRG1Y+4dmsfjBGLeZYS/lodDvNoLZ35v2g9gGH+BOf7cMCsYYb7oeWacgTjh8wW8NQQTMV JrDPHld9lWCivUojNwfUJeHUwqDFy4ZQq2abjQSbA7OkPkGjQ0j4cViB8nY8cQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=c32ZEuGl; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (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-Migadu-Spam-Score: -2.42 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=c32ZEuGl; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (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-Migadu-Queue-Id: 853631EA84 X-Spam-Score: -2.42 X-Migadu-Scanner: scn0.migadu.com X-TUID: y9WRhgDY/E6R --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable This series add =E2=80=98ocamlformat=E2=80=99, a code formatter for OCaml, = and some missing dependencies. It also updates the =E2=80=98ocaml-bisect-ppx=E2=80= =99 package, otherwise =E2=80=98ocamlformat=E2=80=99 would not build. Some tests for =E2=80=98ocamlformat=E2=80=99 are failing, not sure why, so = I have disabled them for now. Xinglu Chen (9): gnu: ocaml-bisect-ppx: Update to 2.6.1. gnu: Add ocaml-menhir-lib. gnu: Add ocaml-menhir-sdk. gnu: Add ocaml-uucd. gnu: Add ocaml-uucp. gnu: Add ocaml-uuseg. gnu: Add ocaml-fix. gnu: Add ocaml-dune-build-info. gnu: Add ocamlformat. gnu/packages/ocaml.scm | 240 ++++++++++++++++++++++++++++++++++++++--- 1 file changed, 224 insertions(+), 16 deletions(-) base-commit: 71c3f954194770956b39d311fab44ee6ddb4f666 =2D-=20 2.32.0 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmDQYmsVHHB1YmxpY0B5 b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x5sVYP/3B3wlHog7dTdHwOmi4o3eErNYrT KnIEZZjZEvH/r+7JxUAmqZMUuIpe2iyljK2snnpYBjSRzos9vKWAQw96n+98NPZI AD58eCtIty287eaWeO4W/AAMtUm3PdLG8Te57rneXz+R/1YRqUP99zEVRqY6fq68 4WequzBcARXT9RQmyovWvVXR6aAOE7yitw6pL0Xwa6oqLq8873Hq0BK4Aif9LcwO 0NXxszslO/OYj7mZE1fu2OZCAnxf6xLOHtZ3jGM6Nkn0ZzIm3zWB1XSiCOgsI5bs ka1svxsaNJMTnwuWz6nl0cipu8J06M+aoCZ7RCz7jS6iN1yrV/NnDgJKO3eo1JjR lj2SeJ6ZEDha2j6ereJmdJVUXTivfmxYrNzfHx0pqlv7c38G0FyObela+xp9fl1v igt49XoQS1qehEZwzrLrQftXsRFMpg1KznzyvQELUIAvG/kcIigCEwWkNrIu8i1C x6IZ09/2kPtwJrMNbnRIXsY+tIWL0oE6v/82ieu5uE+gQTRAAZY47TQquRRUjgWH 05dR4f/KoNIrx61NoJxSqf7l4895VhcrYGVqhodNPKLjryNN56k6RU1p1vpfQLB+ 0TEQTHjV2Tlo9ZrJiUn673e4ddsww5P+A1N3h8hZv3d338tCB+uLfcstEfPhNFXi 9W2x2rsAKfXI77Db =Yljy -----END PGP SIGNATURE----- --=-=-=--