From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 21 05:57:09 2021 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= To: guix-patches@gnu.org Subject: [PATCH 0/9] Add ocamlformat and dependencies 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-Spam-Score: 2.7 (++) 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: This series add ‘ocamlformat’, a code formatter for OCaml, and some missing dependencies. It also updates the ‘ocaml-bisect-ppx’ package, otherwise ‘ocamlformat’ would not build. Some tests for ‘ocamlformat’ are failing, not sure why, so I have disabled them for now. Content analysis details: (2.7 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at https://www.dnswl.org/, medium trust [209.51.188.17 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.51.188.17 listed in wl.mailspike.net] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 1.5 FROM_SUSPICIOUS_NTLD_FP From abused NTLD 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.2 (/) --=-=-= 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----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 21 06:01:58 2021 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:01:58 +0000 Received: from localhost ([127.0.0.1]:35473 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkf-0003rx-Vm for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:01:58 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46600 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGke-0003re-Fk for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:01:57 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269710; bh=KtE1045PuORXO+OQa94IdccaGBZWCpVFnEy4iIMaMgI=; h=From:To:Subject:In-Reply-To:References:Date; b=X5SR1se+UqsAzPsmn9bQlAMQ08UiYC58EBnKjI7ID/gGK2rEcQj3YsNKeLtNjYXBR 7tNUpUL84q0J/wxNzAgtDbkG+2FZSnm4iwNOBhxOwi8LqJf3KyviVgifpxWQ6lxwpm 9WCn1KbLMRrACHX8kA/NSyYzi7zvnMEkG8vJ4AJ8= To: 49150@debbugs.gnu.org Subject: [PATCH 1/9] gnu: ocaml-bisect-ppx: Update to 2.6.1. In-Reply-To: References: Message-Id: <9891d2ecdc14077d5d808259c2e6658780d55c5f.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:01:49 +0200 MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 2.9 (++) 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: * gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 2.6.1. [propagated-inputs]: Adjust accordingly. [arguments]: Remove unnecessary phase; disable tests. --- gnu/packages/ocaml.scm | 22 ++++++----- [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS X-Debbugs-Envelope-To: 49150 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.9 (+) 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: * gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 2.6.1. [propagated-inputs]: Adjust accordingly. [arguments]: Remove unnecessary phase; disable tests. --- gnu/packages/ocaml.scm | 22 ++++++----- [...] Content analysis details: (1.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 2.6.1. [propagated-inputs]: Adjust accordingly. [arguments]: Remove unnecessary phase; disable tests. --- gnu/packages/ocaml.scm | 22 ++++++---------------- 1 file changed, 6 insertions(+), 16 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 21d16a46a1..cccbd45dc4 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6513,7 +6513,7 @@ combinators.") (define-public ocaml-bisect-ppx (package (name "ocaml-bisect-ppx") - (version "1.4.2") + (version "2.6.1") (source (origin (method git-fetch) @@ -6523,24 +6523,14 @@ combinators.") (file-name (git-file-name name version)) (sha256 (base32 - "0900vli5kw7s5kdam0n4cqsfsfqb7mdb3azn3i55595gilg1vyn8")))) + "1knglw1b2kjr9jnd8cpfzmm581abxxdcx9l3cd2balg6gnac7qk1")))) (build-system dune-build-system) (propagated-inputs - `(("ocaml-migrate-parsetree" ,ocaml-migrate-parsetree-1) - ("ocaml-ppx-tools-versioned" ,ocaml-ppx-tools-versioned) - ("ocaml-ounit" ,ocaml-ounit))) + `(("ocaml-ppxlib" ,ocaml-ppxlib) + ("ocaml-cmdliner" ,ocaml-cmdliner))) (arguments - `(#:phases - (modify-phases %standard-phases - (add-before 'build 'fix-deprecated - (lambda _ - ;; Fixed upstream in 22dd1ad9a0c9629f60599c22d82c6488394d6d32, but - ;; not in a release yet. - (substitute* "src/ppx/instrument.ml" - (("module Ast = Ast_405") - "module Ast = Migrate_parsetree.Ast_405 -module Ast_405 = Ast")) - #t))))) + ;; Tests require ocamlformat which would lead to circular dependencies + '(#:tests? #f)) (home-page "https://github.com/aantron/bisect_ppx") (synopsis "Code coverage for OCaml") (description "Bisect_ppx helps you test thoroughly. It is a small -- 2.32.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 21 06:02:01 2021 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:01 +0000 Received: from localhost ([127.0.0.1]:35476 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkj-0003sF-8N for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:01 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46606 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkf-0003rf-I7 for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:01:57 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269712; bh=AnJSfVWtTGXN63VAG28Srn0otyivf8QV+DMy4QLMebU=; h=From:To:Subject:In-Reply-To:References:Date; b=aJ1yDecMiBhrVsYb8Ri+TIng+N7ERjtXNqxlQWLhlebFcVyADfaBXjiLsAZ8yKvNU USNnT4JiynETLRjrNXH3qZlwMWaDX42elOd+jbUfXOndPyLm1WpmIcULoZOIsgMUnr eXY3uyZD3yFNi560EOU/+74z0TAxgRw/NDMWdIKo= To: 49150@debbugs.gnu.org Subject: [PATCH 2/9] gnu: Add ocaml-menhir-lib. In-Reply-To: References: Message-Id: <29255619678ca3cbf239a67cbce611db7274968c.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:01:51 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 2.9 (++) 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: * gnu/packages/ocaml.scm (ocaml-menhir-lib): New variable. --- gnu/packages/ocaml.scm | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index cccbd45dc4..08406a206d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1056,6 +1056,19 @@ Knuth’s LR(1) parser [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS X-Debbugs-Envelope-To: 49150 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.9 (+) 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: * gnu/packages/ocaml.scm (ocaml-menhir-lib): New variable. --- gnu/packages/ocaml.scm | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index cccbd45dc4..08406a206d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1056,6 +1056,19 @@ Knuth’s LR(1) parser [...] Content analysis details: (1.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/ocaml.scm (ocaml-menhir-lib): New variable. --- gnu/packages/ocaml.scm | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index cccbd45dc4..08406a206d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1056,6 +1056,19 @@ Knuth=E2=80=99s LR(1) parser construction technique.= ") ;; are QPL licensed. (license (list license:gpl2+ license:qpl)))) =20 +(define-public ocaml-menhir-lib + (package + (inherit ocaml-menhir) + (name "ocaml-menhir-lib") + (arguments + '(#:package "menhirLib" + #:tests? #f)) + (properties + `((upstream-name . "menhirLib"))) + (synopsis "Runtime support library for parsers generated by Menhir") + (description "This package provides a runtime support library for pars= ers +generated by Menhir."))) + (define-public ocaml-bigarray-compat (package (name "ocaml-bigarray-compat") --=20 2.32.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 21 06:02:01 2021 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:02 +0000 Received: from localhost ([127.0.0.1]:35478 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkj-0003sL-IF for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:01 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46612 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkh-0003ri-Vk for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:00 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269714; bh=Ti3U8q0VajzuwSdxEMUFv+hiIwagfeCIk28HaP4lGHI=; h=From:To:Subject:In-Reply-To:References:Date; b=YKwgXeAubRePHXAjv46ax6/Tbk9E3SaVSVzuBaxxeyrpfoljApfn64oY2otSeJnYk v1476hHx9MCewnBpudpYRLAj4Xex1X9RVWm58UpYC6U7dH7Thyky92aJp2HwgxY3P5 r2AyR/61ocpkljsJkGUkz2OPQ/qBZZiy+TITv0wU= To: 49150@debbugs.gnu.org Subject: [PATCH 3/9] gnu: Add ocaml-menhir-sdk. In-Reply-To: References: Message-Id: Date: Mon, 21 Jun 2021 12:01:53 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 2.9 (++) 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: * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable. --- gnu/packages/ocaml.scm | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 08406a206d..d7d3afd36c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1069,6 +1069,19 @@ Knuth’s LR(1) parser [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS X-Debbugs-Envelope-To: 49150 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.9 (+) 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: * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable. --- gnu/packages/ocaml.scm | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 08406a206d..d7d3afd36c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1069,6 +1069,19 @@ Knuth’s LR(1) parser [...] Content analysis details: (1.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable. --- gnu/packages/ocaml.scm | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 08406a206d..d7d3afd36c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1069,6 +1069,19 @@ Knuth=E2=80=99s LR(1) parser construction technique.= ") (description "This package provides a runtime support library for pars= ers generated by Menhir."))) =20 +(define-public ocaml-menhir-sdk + (package + (inherit ocaml-menhir) + (name "ocaml-menhir-sdk") + (arguments + '(#:package "menhirSdk" + #:test-target "sdk")) + (properties + `((upstream-name . "menhirSdk"))) + (synopsis "Compile-time library for auxiliary tools related to Menhir") + (description "This package provides a compile-time library for auxilia= ry +tools related to Menhir."))) + (define-public ocaml-bigarray-compat (package (name "ocaml-bigarray-compat") --=20 2.32.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 21 06:02:08 2021 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:08 +0000 Received: from localhost ([127.0.0.1]:35488 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkp-0003tX-T8 for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:08 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46618 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkk-0003rr-Cp for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:02 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269716; bh=Ty4bIfwP0DZbrtjmOZ/J8oiW3EOBRPYKNay3fWoWVcE=; h=From:To:Subject:In-Reply-To:References:Date; b=lVYgLdx14V//saGzRNMqHjnOaLhJ/ts17mKWvuNjtZx2yEQpauOAxitX9gWW80mB8 dTeNLK8DEc3eQFihhHWrertvl9XD48LPOPYl8AFBzVV8l4IFGRCtKp+ne/1zZYu7SK jWiVJFYLy0WOXxbvR3eCTI5ocRBZfLCXFMK+yXu8= To: 49150@debbugs.gnu.org Subject: [PATCH 4/9] gnu: Add ocaml-uucd. In-Reply-To: References: Message-Id: Date: Mon, 21 Jun 2021 12:01:56 +0200 MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 2.9 (++) 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: * gnu/packages/ocaml.scm (ocaml-uucd): New variable. --- gnu/packages/ocaml.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index d7d3afd36c..34b909bcb1 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6957,6 +6957,39 @@ provides support to pr [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS X-Debbugs-Envelope-To: 49150 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.9 (+) 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: * gnu/packages/ocaml.scm (ocaml-uucd): New variable. --- gnu/packages/ocaml.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index d7d3afd36c..34b909bcb1 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6957,6 +6957,39 @@ provides support to pr [...] Content analysis details: (1.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/ocaml.scm (ocaml-uucd): New variable. --- gnu/packages/ocaml.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index d7d3afd36c..34b909bcb1 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6957,6 +6957,39 @@ provides support to program with time varying values: declarative events and client chooses the concrete timeline.") (license license:lgpl2.1+))) +(define-public ocaml-uucd + (package + (name "ocaml-uucd") + (version "13.0.0") + (source + (origin + (method url-fetch) + (uri (string-append "https://erratique.ch/software/uucd/releases/" + "uucd-" version ".tbz")) + (sha256 + (base32 + "1fg77hg4ibidkv1x8hhzl8z3rzmyymn8m4i35jrdibb8adigi8v2")))) + (build-system ocaml-build-system) + (arguments + '(#:build-flags '("build" "--tests" "true") + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (propagated-inputs + `(("ocaml-xmlm" ,ocaml-xmlm))) + (native-inputs + `(("opam" ,opam) + ("ocaml-findlib" ,ocaml-findlib) + ("ocamlbuild" ,ocamlbuild) + ("ocaml-topkg" ,ocaml-topkg))) + (home-page "https://erratique.ch/software/uucd") + (synopsis "Unicode character database decoder for OCaml") + (description "Uucd is an OCaml module to decode the data of the Unicode +character database from its XML representation. It provides high-level (but +not necessarily efficient) access to the data so that efficient +representations can be extracted.") + (license license:isc))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf") -- 2.32.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 21 06:02:08 2021 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:08 +0000 Received: from localhost ([127.0.0.1]:35490 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkq-0003tZ-5c for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:08 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46628 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkm-0003s6-7p for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:04 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269718; bh=l4cQ/viC+lYaAIDrzNGvBbcZI03yj4iR/ZhgaXeFdAQ=; h=From:To:Subject:In-Reply-To:References:Date; b=c6YQ7rTCzIcgqvLK29+AOruB18k1cU9NUXyOZG9AisHD1xW6JAL8bskgLCl2IIfuz hP4I45hUMuRQLELEn54tqqwvYiy6mYiW9omKBMjQjiCgCtiToXEb0BdbZnSMPn5HRs aEqobGCAkfgy5Q+q2eYDA9tG9nNmMKxrrJ+DMUZA= To: 49150@debbugs.gnu.org Subject: [PATCH 5/9] gnu: Add ocaml-uucp. In-Reply-To: References: Message-Id: Date: Mon, 21 Jun 2021 12:01:58 +0200 MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 2.9 (++) 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: * gnu/packages/ocaml.scm (ocaml-uucp): New variable. --- gnu/packages/ocaml.scm | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 34b909bcb1..8df397fd2e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6990,6 +6990,38 @@ not necessarily effici [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS X-Debbugs-Envelope-To: 49150 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.9 (+) 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: * gnu/packages/ocaml.scm (ocaml-uucp): New variable. --- gnu/packages/ocaml.scm | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 34b909bcb1..8df397fd2e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6990,6 +6990,38 @@ not necessarily effici [...] Content analysis details: (1.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/ocaml.scm (ocaml-uucp): New variable. --- gnu/packages/ocaml.scm | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 34b909bcb1..8df397fd2e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6990,6 +6990,38 @@ not necessarily efficient) access to the data so that efficient representations can be extracted.") (license license:isc))) +(define-public ocaml-uucp + (package + (name "ocaml-uucp") + (version "13.0.0") + (source + (origin + (method url-fetch) + (uri (string-append "https://erratique.ch/software/uucp/releases/" + "uucp-" version ".tbz")) + (sha256 + (base32 + "19kf8ypxaakacgg1dwwfzkc2zicaj88cmw11fw2z7zl24dn4gyiq")))) + (build-system ocaml-build-system) + (arguments + '(#:build-flags '("build" "--tests" "true") + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (native-inputs + `(("opam" ,opam) + ("ocaml-findlib" ,ocaml-findlib) + ("ocamlbuild" ,ocamlbuild) + ("ocaml-topkg" ,ocaml-topkg) + ("ocaml-uucd" ,ocaml-uucd) + ("ocaml-uunf" ,ocaml-uunf) + ("ocaml-uutf" ,ocaml-uutf))) + (home-page "https://erratique.ch/software/uucp") + (synopsis "Unicode character properties for OCaml") + (description "Uucp is an OCaml library providing efficient access to a +selection of character properties of the Unicode character database.") + (license license:isc))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf") -- 2.32.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 21 06:02:09 2021 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:09 +0000 Received: from localhost ([127.0.0.1]:35492 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkq-0003tm-P8 for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:08 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46628 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkn-0003s6-A3 for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:05 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269725; bh=rqxBwWc761Z8Idjq431E8nAHlJOfZEUN0zqNx+/dWSg=; h=From:To:Subject:In-Reply-To:References:Date; b=QxhQNJwcfV0qxOhjN41ebN8tqGwLIwndrouLSKOWArnClqqvf6uds76eO8F7ZymdT BSYYosdE8LG3tRkvNRKSq3H4HpU2AUxdta1JrdvmIcs/JcxeU+gYTpw/31lG/R5sks YiZ9mi9hELVe1ImDR2secg829aUgC58L35Dis21U= To: 49150@debbugs.gnu.org Subject: [PATCH 9/9] gnu: Add ocamlformat. In-Reply-To: References: Message-Id: <6b6c96975b9ad8872f6cb0f39fb53881af4bca2e.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:02:04 +0200 MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 2.9 (++) 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: * gnu/packages/ocaml.scm (ocamlformat): New variable. --- gnu/packages/ocaml.scm | 46 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b78e3ab2fa..ca15b86c8a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7103,6 +7103,52 @@ or the list of statica [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS X-Debbugs-Envelope-To: 49150 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.9 (+) 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: * gnu/packages/ocaml.scm (ocamlformat): New variable. --- gnu/packages/ocaml.scm | 46 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b78e3ab2fa..ca15b86c8a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7103,6 +7103,52 @@ or the list of statica [...] Content analysis details: (1.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/ocaml.scm (ocamlformat): New variable. --- gnu/packages/ocaml.scm | 46 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b78e3ab2fa..ca15b86c8a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7103,6 +7103,52 @@ or the list of statically linked libraries with their versions. It supports reporting the version from the version control system during development to get an precise reference of when the executable was built."))) +(define-public ocamlformat + (package + (name "ocamlformat") + (version "0.18.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml-ppx/ocamlformat") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0n6363km8xr81pvyk453n6h2mb0256c5yxw3p1li4dn83f3lwxr1")))) + (build-system dune-build-system) + (arguments + '(#:package "ocamlformat" + ;; FIXME: The expected format is slightly different than what the + ;; produced format is for test/cli/stdin.t + #:tests? #f)) + (propagated-inputs + `(("ocaml-version" ,ocaml-version) + ("ocaml-base" ,ocaml-base) + ("ocaml-cmdliner" ,ocaml-cmdliner) + ("ocaml-dune-build-info" ,ocaml-dune-build-info) + ("ocaml-fix" ,ocaml-fix) + ("ocaml-fpath" ,ocaml-fpath) + ("ocaml-menhir" ,ocaml-menhir) + ("ocaml-menhir-lib" ,ocaml-menhir-lib) + ("ocaml-menhir-sdk" ,ocaml-menhir-sdk) + ("ocaml-odoc" ,ocaml-odoc) + ("ocaml-ppxlib" ,ocaml-ppxlib) + ("ocaml-re" ,ocaml-re) + ("ocaml-stdio" ,ocaml-stdio) + ("ocaml-uuseg" ,ocaml-uuseg) + ("ocaml-uutf" ,ocaml-uutf))) + (native-inputs + `(("ocaml-alcotest" ,ocaml-alcotest) + ("ocaml-ocp-indent" ,ocaml-ocp-indent) + ("ocaml-bisect-ppx" ,ocaml-bisect-ppx))) + (home-page "https://github.com/ocaml-ppx/ocamlformat") + (synopsis "Auto-formatter for OCaml code") + (description "OCamlFormat is a tool to automatically format OCaml code in +a uniform style.") + (license license:expat))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf") -- 2.32.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 21 06:02:09 2021 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:09 +0000 Received: from localhost ([127.0.0.1]:35494 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkr-0003tt-1B for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:09 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46636 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkn-0003sE-PY for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:06 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269720; bh=9rj5LPoX+RkZ+2rOFPuGs24aXd+986G9oJhx3+DZ8XY=; h=From:To:Subject:In-Reply-To:References:Date; b=jCgmujsS56Z0ir5dCZHRE4oO7DwVcm98jkGFA+zaJdZv68XVZ+XbK+2WHVUW+a0DZ E6mmCL9kZg0LcV738XPDZMv8EUBUENsjzChxE4Y8wnilotTXXadyibXNTFl3513mME /86MDoVBhTik1g4YE5zI8a37kUrA+yU3dQS0tJ/M= To: 49150@debbugs.gnu.org Subject: [PATCH 6/9] gnu: Add ocaml-uuseg. In-Reply-To: References: Message-Id: <82bd75fc0f53931e04f4fa2eac45f753f9203222.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:01:59 +0200 MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 2.9 (++) 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: * gnu/packages/ocaml.scm (ocaml-uuseg): New variable. --- gnu/packages/ocaml.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8df397fd2e..c2e1039146 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7022,6 +7022,45 @@ representations can be [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS X-Debbugs-Envelope-To: 49150 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.9 (+) 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: * gnu/packages/ocaml.scm (ocaml-uuseg): New variable. --- gnu/packages/ocaml.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8df397fd2e..c2e1039146 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7022,6 +7022,45 @@ representations can be [...] Content analysis details: (1.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/ocaml.scm (ocaml-uuseg): New variable. --- gnu/packages/ocaml.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8df397fd2e..c2e1039146 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7022,6 +7022,45 @@ representations can be extracted.") selection of character properties of the Unicode character database.") (license license:isc))) +(define-public ocaml-uuseg + (package + (name "ocaml-uuseg") + (version "13.0.0") + (source + (origin + (method url-fetch) + (uri (string-append "https://erratique.ch/software/uuseg/releases/" + "uuseg-" version ".tbz")) + (sha256 + (base32 + "1a635j8ra6p27g1ivfln3387lhwqmf6vq4r6bn7b6n1qsqyi1rls")))) + (build-system ocaml-build-system) + (arguments + '(#:build-flags '("build" "--tests" "true") + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (propagated-inputs + `(("ocaml-uucp" ,ocaml-uucp) + ("ocaml-uutf" ,ocaml-uutf) + ("ocaml-cmdliner" ,ocaml-cmdliner))) + (native-inputs + `(("opam" ,opam) + ("ocaml-findlib" ,ocaml-findlib) + ("ocamlbuild" ,ocamlbuild) + ("ocaml-topkg" ,ocaml-topkg))) + (home-page "https://erratique.ch/software/uuseg") + (synopsis "Unicode text segmentation for OCaml") + (description "Uuseg is an OCaml library for segmenting Unicode text. It +implements the locale independent Unicode text segmentation algorithms to +detect grapheme cluster, word and sentence boundaries and the Unicode line +breaking algorithm to detect line break opportunities. + +The library is independent from any IO mechanism or Unicode text data +structure and it can process text without a complete in-memory +representation.") + (license license:isc))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf") -- 2.32.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 21 06:02:17 2021 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:17 +0000 Received: from localhost ([127.0.0.1]:35497 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkz-0003uJ-Ag for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:17 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46642 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkp-0003sh-JG for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:08 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269721; bh=Zt2x3GHPpgH8e9tKK+8hU6qCAD2rl/l16uLzMPEeRKg=; h=From:To:Subject:In-Reply-To:References:Date; b=QC0sm1qspIpM09JNGwpdVHwf4yQU2UMqQuWGz7lvo7c4+aGgmeyU4ZUMxabhQJcGO gJU+k24JYD5lvTob7/yoykgjr7VoJz8hv7r8UOvQrTWeM/fNtmcrr/S/jHrISqmN/6 1fMFpBsybi2O6B/FJRXnfnb257OHQ2uigPJb8+YQ= To: 49150@debbugs.gnu.org Subject: [PATCH 7/9] gnu: Add ocaml-fix. In-Reply-To: References: Message-Id: <7eb675d085b0656e3db8ebca6d3160a4c5a83c8d.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:02:01 +0200 MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 2.9 (++) 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: * gnu/packages/ocaml.scm (ocaml-fix): New variable. --- gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c2e1039146..94e5f23ec0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7061,6 +7061,30 @@ structure and it can p [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS X-Debbugs-Envelope-To: 49150 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.9 (+) 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: * gnu/packages/ocaml.scm (ocaml-fix): New variable. --- gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c2e1039146..94e5f23ec0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7061,6 +7061,30 @@ structure and it can p [...] Content analysis details: (1.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/ocaml.scm (ocaml-fix): New variable. --- gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c2e1039146..94e5f23ec0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7061,6 +7061,30 @@ structure and it can process text without a complete in-memory representation.") (license license:isc))) +(define-public ocaml-fix + (package + (name "ocaml-fix") + (version "20201120") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.inria.fr/fpottier/fix") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1j40mg1gy03c0djzx3nzmpvnl984s14n04zwcmp2xnlidq48kvs4")))) + (build-system dune-build-system) + (arguments + ;; No tests. + '(#:tests? #f)) + (home-page "https://gitlab.inria.fr/fpottier/fix") + (synopsis "Facilities for memoization and fixed points") + (description "This package provides helpers with various constructions +that involve memoization and recursion.") + (license license:lgpl2.0))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf") -- 2.32.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 21 06:02:18 2021 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:18 +0000 Received: from localhost ([127.0.0.1]:35499 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkz-0003uL-Ne for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:17 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46650 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkr-0003tE-45 for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:09 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269723; bh=mvHuck27NjitMIVKD7E25SrczvgsdQZSYYlw2LH02dU=; h=From:To:Subject:In-Reply-To:References:Date; b=If8/cgJVTLmnvKZj7huMPoCTzXyWSodHrp9sd2PHAxKaB6BtXUb0m/FwZuXdv23+i zCq+HeVE6o15B9sBdJv8kAx7xIsKr134fr6Z86/vJb0V0gFeG462Z8PBdjw0hdpy3/ i/FAPq677WeEqMXp9COaeLi+QF+o3hfAN2Dz0Xa8= To: 49150@debbugs.gnu.org Subject: [PATCH 8/9] gnu: Add ocaml-dune-build-info. In-Reply-To: References: Message-Id: <9168948c67bdf6830b4075d0ada0526f03e4168f.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:02:03 +0200 MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 2.9 (++) 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: * gnu/packages/ocaml.scm (ocaml-dune-build-info): New variable. --- gnu/packages/ocaml.scm | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 94e5f23ec0..b78e3ab2fa 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7085,6 +7085,24 @@ representation.") that [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS X-Debbugs-Envelope-To: 49150 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.9 (+) 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: * gnu/packages/ocaml.scm (ocaml-dune-build-info): New variable. --- gnu/packages/ocaml.scm | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 94e5f23ec0..b78e3ab2fa 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7085,6 +7085,24 @@ representation.") that [...] Content analysis details: (1.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/ocaml.scm (ocaml-dune-build-info): New variable. --- gnu/packages/ocaml.scm | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 94e5f23ec0..b78e3ab2fa 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7085,6 +7085,24 @@ representation.") that involve memoization and recursion.") (license license:lgpl2.0))) +(define-public ocaml-dune-build-info + (package + (inherit dune) + (name "ocaml-dune-build-info") + (build-system dune-build-system) + (arguments + '(#:package "dune-build-info" + ;; No separate test suite from dune. + #:tests? #f)) + (propagated-inputs + `(("ocaml-odoc" ,ocaml-odoc))) + (synopsis "Embed build informations inside executable") + (description "This package allows one to access information about how the +executable was built, such as the version of the project at which it was built +or the list of statically linked libraries with their versions. It supports +reporting the version from the version control system during development to +get an precise reference of when the executable was built."))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf") -- 2.32.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 27 09:20:11 2021 Received: (at 49150) by debbugs.gnu.org; 27 Jun 2021 13:20:11 +0000 Received: from localhost ([127.0.0.1]:49081 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lxUhn-00089b-Dw for submit@debbugs.gnu.org; Sun, 27 Jun 2021 09:20:11 -0400 Received: from lepiller.eu ([89.234.186.109]:48128) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lxUhl-00089O-KG for 49150@debbugs.gnu.org; Sun, 27 Jun 2021 09:20:10 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 2cde717d; Sun, 27 Jun 2021 13:20:07 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=uUOYzqy611P2 cMZRbY5YIWCoTx32MNrvJIQLI7e0tTQ=; b=Cx3o75MwLNGl68cza8b26vBxVV89 dJZyiAzrXItdb3KRO6XR2Iv8SNSaNi3m7a4e1+xQCQ4jGeYgMG/mr59hqTsV3w18 dLhKyrYDuJLtz0f0uI1TgEmpf1+FbNiWBzK5K7DgrpYNcPDbSRHAadTPvgWa0J1W Faads1IanIKSZV9m883aMyQQJgr1iW3NAKTfoWgVaNAuFb8Vi/nhETzOYLQGHLvT bVvwf2eecxj3CfA9KihFsrGoUi2HBaCjyyaZAG3cF8eD/NSjNmOAVfD0ETs40d0f b94QlJ09vMJu2NsPk590wmQb+T4A8Ta6dK8FahT8OiZx8j0vxzi8/1Bq5g== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 1863479c (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sun, 27 Jun 2021 13:20:07 +0000 (UTC) Date: Sun, 27 Jun 2021 15:20:04 +0200 From: Julien Lepiller To: Xinglu Chen Subject: Re: [bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk. Message-ID: <20210627152004.200120d8@tachikoma.lepiller.eu> In-Reply-To: References: X-Mailer: Claws Mail 3.17.8 (GTK+ 2.24.32; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 2.0 (++) 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: Le Mon, 21 Jun 2021 12:01:53 +0200, Xinglu Chen a écrit : > * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable. > --- > gnu/packages/ocaml.scm | 13 +++++++++++++ > 1 file changed, 13 insertions(+) > > diff --git a/gnu/packages/ocaml.scm b/gnu/packages [...] Content analysis details: (2.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] -0.0 SPF_PASS SPF: sender matches SPF record X-Debbugs-Envelope-To: 49150 Cc: 49150@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 (+) Le Mon, 21 Jun 2021 12:01:53 +0200, Xinglu Chen a =C3=A9crit : > * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable. > --- > gnu/packages/ocaml.scm | 13 +++++++++++++ > 1 file changed, 13 insertions(+) >=20 > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index 08406a206d..d7d3afd36c 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -1069,6 +1069,19 @@ Knuth=E2=80=99s LR(1) parser construction techniqu= e.") > (description "This package provides a runtime support library > for parsers generated by Menhir."))) > =20 > +(define-public ocaml-menhir-sdk > + (package > + (inherit ocaml-menhir) > + (name "ocaml-menhir-sdk") > + (arguments > + '(#:package "menhirSdk" > + #:test-target "sdk")) > + (properties > + `((upstream-name . "menhirSdk"))) > + (synopsis "Compile-time library for auxiliary tools related to > Menhir") > + (description "This package provides a compile-time library for > auxiliary +tools related to Menhir."))) > + > (define-public ocaml-bigarray-compat > (package > (name "ocaml-bigarray-compat") MenhirLib and MenhirSdk are both already part of the ocaml-menhir package, so I don't think it is useful to add separate packages for them. WDYT? From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 27 09:37:13 2021 Received: (at 49150) by debbugs.gnu.org; 27 Jun 2021 13:37:13 +0000 Received: from localhost ([127.0.0.1]:49109 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lxUyH-0000Ai-By for submit@debbugs.gnu.org; Sun, 27 Jun 2021 09:37:13 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:45698 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lxUyE-0000AU-Ni for 49150@debbugs.gnu.org; Sun, 27 Jun 2021 09:37:11 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624801023; bh=tPBADNwppUhcaFscWmjDjiFcyhbbEO1o1c5kTO0qHVI=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=CMRugNF7BEatcJIGc0RAJvzhvZH2mfh+mrUquxj0SRvI4FlUNu0JqdOXcZW569enj 5AUS+DHQhrjUt+T+wySpJvI4NnR5B2oxAdqVYz3ZXoNaT7ofQkoXs6M/4yWe3XO43N 4w8LFXm694bfdodKWpUCVCwpJz+1lD4KB2Ba86n8= To: Julien Lepiller Subject: Re: [bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk. In-Reply-To: <20210627152004.200120d8@tachikoma.lepiller.eu> References: <20210627152004.200120d8@tachikoma.lepiller.eu> Date: Sun, 27 Jun 2021 15:37:02 +0200 Message-ID: <87k0mf4ef5.fsf@yoctocell.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 2.9 (++) 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: On Sun, Jun 27 2021, Julien Lepiller wrote: > Le Mon, 21 Jun 2021 12:01:53 +0200, > Xinglu Chen a écrit : > >> * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable. >> --- >> gnu/packages/ocaml.scm | 13 ++++++++++++ [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD X-Debbugs-Envelope-To: 49150 Cc: 49150@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: 2.9 (++) 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: On Sun, Jun 27 2021, Julien Lepiller wrote: > Le Mon, 21 Jun 2021 12:01:53 +0200, > Xinglu Chen a écrit : > >> * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable. >> --- >> gnu/packages/ocaml.scm | 13 ++++++++++++ [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 1.0 BULK_RE_SUSP_NTLD Precedence bulk and RE: from a suspicious TLD -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On Sun, Jun 27 2021, Julien Lepiller wrote: > Le Mon, 21 Jun 2021 12:01:53 +0200, > Xinglu Chen a =C3=A9crit : > >> * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable. >> --- >> gnu/packages/ocaml.scm | 13 +++++++++++++ >> 1 file changed, 13 insertions(+) >>=20 >> diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm >> index 08406a206d..d7d3afd36c 100644 >> --- a/gnu/packages/ocaml.scm >> +++ b/gnu/packages/ocaml.scm >> @@ -1069,6 +1069,19 @@ Knuth=E2=80=99s LR(1) parser construction techniq= ue.") >> (description "This package provides a runtime support library >> for parsers generated by Menhir."))) >>=20=20 >> +(define-public ocaml-menhir-sdk >> + (package >> + (inherit ocaml-menhir) >> + (name "ocaml-menhir-sdk") >> + (arguments >> + '(#:package "menhirSdk" >> + #:test-target "sdk")) >> + (properties >> + `((upstream-name . "menhirSdk"))) >> + (synopsis "Compile-time library for auxiliary tools related to >> Menhir") >> + (description "This package provides a compile-time library for >> auxiliary +tools related to Menhir."))) >> + >> (define-public ocaml-bigarray-compat >> (package >> (name "ocaml-bigarray-compat") > > MenhirLib and MenhirSdk are both already part of the ocaml-menhir > package, so I don't think it is useful to add separate packages for > them. WDYT? Ah, then we can probably drop them, but they (Menhir, MenhirLib, and MenhirSdk) are three separate packages on Opam, so i could also make sense to restrict =E2=80=98ocaml-menhir=E2=80=99 to only the Menhir package. WDYT? --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmDYfv4VHHB1YmxpY0B5 b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x53tQP/0Z9RARSyYOGfr2zI0w6IGN0iY3n obbATV8GStDuERa0UK7KEdc6iB3ccoghunIFTAuGlAjNDzDxrzyKh1mEulROtQGk dZBUwX+DCd3UxiSbD0DQZgOh7/AAAZldVecx49+YJEXXEniWV/cb4Qd5pEzpRjm4 PwQmGmOKe+3K3FVB1vF3FRmyhg4jc494g6cKBjeW8lotBy4C8jOI1SEmwnNrhgYB c52LddDkYJ6ATJPCF9837HGpGRL1GDr3VAAc5AVWbaU7cY1uDmih4xo7ISSlUvqa P8uaAUSP/t5fnx18UDeJz341Eeu5rZDVn9pJ3NA2SsyvovBgJf0pmBLLyGq5/hg2 YrJJSXZ0/7De5Od7+vSG2+q2WN6kG2BgliXg15KAkRHQLG1XYrO/ua7FSBsW2/qu URE0RwZOdNNZ6RvVhBN9tOHSBFzWeqefySFf/TP+IwIl6MlrqzWiT5WZYjkyF4tZ +YMwz2QwCtJQ0Bs6OvPiaF7XrdWgEoW2xmuzgXYxV7u1KQJtOvA2mNh9givNVCrh m7Psi6PuyPfK52tjU1SltwI3/HWNWOHXYvzG3jN/kF4Rzu0bmjl3YrBkqn1D7ZUw afTmwEvTVXKbPIT7PHFaxJK0L7p5twvNG/PmKM6KPg7qQt3fccFy/yqujmQdHd6O 7K/rpKaGDgt4fi8X =OlZq -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Wed Aug 04 04:24:13 2021 Received: (at 49150) by debbugs.gnu.org; 4 Aug 2021 08:24:13 +0000 Received: from localhost ([127.0.0.1]:42641 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mBCCD-0002op-FY for submit@debbugs.gnu.org; Wed, 04 Aug 2021 04:24:13 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:48364 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mBCCB-0002ob-0e for 49150@debbugs.gnu.org; Wed, 04 Aug 2021 04:24:11 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1628065440; bh=jxjbQDPaiaormmVVMCAo9gc5dwc/SUa/KvvUBRQJv2s=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=TrSEa8mws3A15QS08zUpgWJdlIVt3rGEb0nX8zL37RM6FLFT5SznuKBScqOz8uGv3 GXfDKjK/a3A/lITgiAzAL0o9EXCf4XeKbEbJqU0+BRH+OMglRN7EjClY4l7pK8X2ZS 96ahKhhUEkDef7khV4+Cc+DWJO3lMdKBr78TNJgU= To: Julien Lepiller Subject: Re: [bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk. In-Reply-To: <87k0mf4ef5.fsf@yoctocell.xyz> References: <20210627152004.200120d8@tachikoma.lepiller.eu> <87k0mf4ef5.fsf@yoctocell.xyz> Date: Wed, 04 Aug 2021 10:23:59 +0200 Message-ID: <87czqt4nz4.fsf@yoctocell.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 2.9 (++) 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: On Sun, Jun 27 2021, Xinglu Chen wrote: > On Sun, Jun 27 2021, Julien Lepiller wrote: > >> Le Mon, 21 Jun 2021 12:01:53 +0200, >> Xinglu Chen a écrit : >> >>> * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS 0.0 PDS_RDNS_DYNAMIC_FP RDNS_DYNAMIC with FP steps X-Debbugs-Envelope-To: 49150 Cc: 49150@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: 2.9 (++) 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: On Sun, Jun 27 2021, Xinglu Chen wrote: > On Sun, Jun 27 2021, Julien Lepiller wrote: > >> Le Mon, 21 Jun 2021 12:01:53 +0200, >> Xinglu Chen a écrit : >> >>> * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS 1.0 BULK_RE_SUSP_NTLD Precedence bulk and RE: from a suspicious TLD -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager 0.0 PDS_RDNS_DYNAMIC_FP RDNS_DYNAMIC with FP steps --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On Sun, Jun 27 2021, Xinglu Chen wrote: > On Sun, Jun 27 2021, Julien Lepiller wrote: > >> Le Mon, 21 Jun 2021 12:01:53 +0200, >> Xinglu Chen a =C3=A9crit : >> >>> * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable. >>> --- >>> gnu/packages/ocaml.scm | 13 +++++++++++++ >>> 1 file changed, 13 insertions(+) >>>=20 >>> diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm >>> index 08406a206d..d7d3afd36c 100644 >>> --- a/gnu/packages/ocaml.scm >>> +++ b/gnu/packages/ocaml.scm >>> @@ -1069,6 +1069,19 @@ Knuth=E2=80=99s LR(1) parser construction techni= que.") >>> (description "This package provides a runtime support library >>> for parsers generated by Menhir."))) >>>=20=20 >>> +(define-public ocaml-menhir-sdk >>> + (package >>> + (inherit ocaml-menhir) >>> + (name "ocaml-menhir-sdk") >>> + (arguments >>> + '(#:package "menhirSdk" >>> + #:test-target "sdk")) >>> + (properties >>> + `((upstream-name . "menhirSdk"))) >>> + (synopsis "Compile-time library for auxiliary tools related to >>> Menhir") >>> + (description "This package provides a compile-time library for >>> auxiliary +tools related to Menhir."))) >>> + >>> (define-public ocaml-bigarray-compat >>> (package >>> (name "ocaml-bigarray-compat") >> >> MenhirLib and MenhirSdk are both already part of the ocaml-menhir >> package, so I don't think it is useful to add separate packages for >> them. WDYT? > > Ah, then we can probably drop them, but they (Menhir, MenhirLib, and > MenhirSdk) are three separate packages on Opam, so i could also make > sense to restrict =E2=80=98ocaml-menhir=E2=80=99 to only the Menhir packa= ge. > > WDYT? Ping! :) --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmEKTp8VHHB1YmxpY0B5 b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x5KCcP/ih0uTX86eJmy/FkBGOcb9RJs94A iiLCFr0G49Is36BVrYWJCsb0jef42VxgKzcRHidbt80+04FxC9BIir/L/tJhUBJP Otv7AqGIGWTjtMjsZ/nmv8PqhmAK0LGxhlAMa5GYuH/j66miSZqfe0C9fv9T5OhX B/XtVVZVsKxVhPkE+LJaUUDdIan7p2Z197JyfbOlbCI+eduWAOGam/4JJayVybcE g7/2phNRDkq4BVUICht2IzQxDjTfFZI0payyVFx3cSvnZMGMD+88YHZAmr29utkM 0Z9bI9az8z34+FSiaMyv1NY6f3LwOYequYCX3Pogp3bP0FTLRt87elInLWFN0HGU +Q5f/9k0eCMDu2Qw/gqPMXSxhrC37J4A3L3ZwVOyhw9NEnQQnU38qzaUL8A+eiOm EvSQ4oITKAH9QsmOtqMJZg0gt3qtGhaBZG/62Cw8ru1WaWMrlOG79mRF4J0lOD+r tYuj0M4ypRhv5GLc/yi9TNeYinSGLzNlhPprnZzkXKZCPs3gEUii9yDhTFKUaAw4 Q/Hrud43YQX2syLOhDui98A4evNCZvpxlTmKljrEbyYUsdrGidigQZmCESKP1kR9 ndg7YqVASeU5moURDnliRGoRHSMnaodqGuxWHJarme8dgzbFuNEGexx9JQlTs70e EIuLiZmymXEppMZ0 =sWYP -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sun Aug 08 16:45:55 2021 Received: (at 49150-done) by debbugs.gnu.org; 8 Aug 2021 20:45:55 +0000 Received: from localhost ([127.0.0.1]:54867 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mCpgB-0005L3-Km for submit@debbugs.gnu.org; Sun, 08 Aug 2021 16:45:55 -0400 Received: from lepiller.eu ([89.234.186.109]:54608) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mCpg9-0005Ku-9T for 49150-done@debbugs.gnu.org; Sun, 08 Aug 2021 16:45:54 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 0de4369e; Sun, 8 Aug 2021 20:45:50 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=ykyE4/bNqkdA fLWaaYnZFp/PlQ7uzSguAEXeLVQtqaE=; b=g9MKBObWr+dfMdaANnp4GUvo7WSK mdYbuBv0lfz01oxmKnQZFCMYb3Fltgfp3yhPalcmw518KP9JiahpgsclTy06+p5l ACTEZugYvp/0do+EURasNa91DkiPePqfRcdwPlQLHBAuZDEC0AeCwLoc1mJm6xT2 y7uZdPKxuL3NUpcXbwAojm9aUYFEQUyyIM3gEoHcYAOro0Kncl2m8VZV8f34vW9I wMkswBiuVxOR2XL8oLCzCF80iWpTX9TCdSF2lXeKiHZeHZ8fxXKQW0vxC72KIRBY uJ0CeMu2HNYsMnwf1qJ4mwdD374zztPiNgNjvUxoEuk32st5BchY5d8A/w== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 8b0f2dc8 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Sun, 8 Aug 2021 20:45:50 +0000 (UTC) Date: Sun, 8 Aug 2021 22:45:41 +0200 From: Julien Lepiller To: Xinglu Chen Subject: Re: [bug#49150] [PATCH 0/9] Add ocamlformat and dependencies Message-ID: <20210808224541.7ce577ed@tachikoma.lepiller.eu> In-Reply-To: References: X-Mailer: Claws Mail 3.18.0 (GTK+ 2.24.32; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 2.0 (++) 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: Le Mon, 21 Jun 2021 11:56:59 +0200, Xinglu Chen a écrit : > This series add ‘ocamlformat’, a code formatter for OCaml, and some > missing dependencies. It also updates the ‘ocaml-bisect-ppx’ package, > otherwise ‘ocamlformat’ would not build. > > [...] Content analysis details: (2.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record X-Debbugs-Envelope-To: 49150-done Cc: 49150-done@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 (+) Le Mon, 21 Jun 2021 11:56:59 +0200, Xinglu Chen a =C3=A9crit : > 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. >=20 > Some tests for =E2=80=98ocamlformat=E2=80=99 are failing, not sure why, s= o I have > disabled them for now. >=20 > 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. >=20 > gnu/packages/ocaml.scm | 240 > ++++++++++++++++++++++++++++++++++++++--- 1 file changed, 224 > insertions(+), 16 deletions(-) >=20 >=20 > base-commit: 71c3f954194770956b39d311fab44ee6ddb4f666 Sorry for the delay! Pushed as e473fe1056a8b8089715dff46050355f777ef5ed to e83fe81be4677aca1f42f0df9c8d2606400a4619, after fixing the description ocaml-uuseg. I omited patches 2 and 3 and fixed ocamlformat accordingly. Thanks! From debbugs-submit-bounces@debbugs.gnu.org Mon Aug 09 05:36:28 2021 Received: (at 49150-done) by debbugs.gnu.org; 9 Aug 2021 09:36:28 +0000 Received: from localhost ([127.0.0.1]:55776 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mD1hr-0001LK-QY for submit@debbugs.gnu.org; Mon, 09 Aug 2021 05:36:28 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:42452 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mD1hh-0001Kw-4i for 49150-done@debbugs.gnu.org; Mon, 09 Aug 2021 05:36:26 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1628501769; bh=rBIpjLYCYWHpInRxM7+QiHVjrFm4+LqeT4L4HfrKes8=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=Cgt2Eggcy7YlLq/JIgxeYvYMbGDVmMpQNza/oc0Bjn3tmWeiBpjD/g6obzmi0IRxJ ++JZBy3+BiNndpF686Ze+ckszaks32LDKboVD/gYebbcEd3yxlZfDZCh97xV4TtIDu qVyPHhfetTeHBaS6dwygnp/AcaCLjLfLho1JL+Ac= To: Julien Lepiller Subject: Re: bug#49150: [PATCH 0/9] Add ocamlformat and dependencies In-Reply-To: <20210808224541.7ce577ed@tachikoma.lepiller.eu> References: <20210808224541.7ce577ed@tachikoma.lepiller.eu> Date: Mon, 09 Aug 2021 11:36:08 +0200 Message-ID: <87r1f3ot87.fsf@yoctocell.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 3.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: On Sun, Aug 08 2021, Julien Lepiller wrote: > Le Mon, 21 Jun 2021 11:56:59 +0200, > Xinglu Chen a écrit : > >> This series add ‘ocamlformat’, a code formatter for OCaml, and some >> missing dependencies. It also upda [...] Content analysis details: (3.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 T_SPF_TEMPERROR SPF: test of record failed (temperror) 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS 0.0 PDS_RDNS_DYNAMIC_FP RDNS_DYNAMIC with FP steps 0.4 KHOP_HELO_FCRDNS Relay HELO differs from its IP's reverse DNS X-Debbugs-Envelope-To: 49150-done Cc: 49150-done@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: 2.9 (++) 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: On Sun, Aug 08 2021, Julien Lepiller wrote: > Le Mon, 21 Jun 2021 11:56:59 +0200, > Xinglu Chen a écrit : > >> This series add ‘ocamlformat’, a code formatter for OCaml, and some >> missing dependencies. It also upda [...] Content analysis details: (2.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS 1.0 BULK_RE_SUSP_NTLD Precedence bulk and RE: from a suspicious TLD -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager 0.0 PDS_RDNS_DYNAMIC_FP RDNS_DYNAMIC with FP steps --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On Sun, Aug 08 2021, Julien Lepiller wrote: > Le Mon, 21 Jun 2021 11:56:59 +0200, > Xinglu Chen a =C3=A9crit : > >> This series add =E2=80=98ocamlformat=E2=80=99, a code formatter for OCam= l, 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. >>=20 >> Some tests for =E2=80=98ocamlformat=E2=80=99 are failing, not sure why, = so I have >> disabled them for now. >>=20 >> 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. >>=20 >> gnu/packages/ocaml.scm | 240 >> ++++++++++++++++++++++++++++++++++++++--- 1 file changed, 224 >> insertions(+), 16 deletions(-) >>=20 >>=20 >> base-commit: 71c3f954194770956b39d311fab44ee6ddb4f666 > > Sorry for the delay! Pushed as > e473fe1056a8b8089715dff46050355f777ef5ed to > e83fe81be4677aca1f42f0df9c8d2606400a4619, after fixing the > description ocaml-uuseg. I omited patches 2 and 3 and fixed ocamlformat > accordingly. Great, thank you! --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmEQ9wgVHHB1YmxpY0B5 b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x5fncP/ihYAhatfsuO7k0VOW6QMxCA4pQZ EBkU+ZOTQhab/YomzMD84li6bosZGea/MJg+DJDyMRws5lm6q+02sqSfD9PoDjwP zZwVvpxyRQBaOLXMJFbwsaYzIYGwOyRQUi+eyv919NBxg6B12L7qs8kYajoUr9ct aAieL/eng4MscRqNgmX7bKeLUTo1vHKRA1VmOwqnvWKxDDfdsvQjmmD5wNweA5Si 2/NUikNp2004zMECkiUKBrq3tsjD09Ecz2FgcWtPQVERB1LLyvsUeQIKv9ep7AQt fd3PT9kR+UNKVf09vikv2IEPs4eGmzCUW9UH/aIPjgKKSkylFeY2UOHp16fY4G1i NrgDZncX8UzM9EzQ3YAQ4s/qi5/5Tv95JwSRNqWlp0iXldIsO7MPD+ZTX3VY/y27 oxAJP9o7yLfie4kQgV7X/Ujhh1I7f/M+GnZydvgj4OowBaabrp+q9qkXgSZAdLz5 0UwbPOuXDjJdNWjkykt6avcAEjU22RuXRb5hS83f4ifyjgnwCG3hf/ed3AoVCGpV qz66ZhmuhpIN8RS9xN6hl2aUMsm/97cfj2ffh6EBJ70EZ0nu302g00TEcZRW9BU3 FeJg4bFcwo6hWGLXG0brqINbyIJs+WPPLG8RDPMpMG/ZuNDUbicEaMDUBNNW5T4S 1ARpg3lIuwPc1Kki =Xhu5 -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Sep 13 06:04:28 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 06 Sep 2021 11:24:05 +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