From patchwork Wed Sep 20 10:50:38 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Matthieu Lemerre X-Patchwork-Id: 54073 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 6DD6327BBE2; Wed, 20 Sep 2023 11:52:34 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, MAILING_LIST_MULTI,SPF_HELO_PASS autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id C1EFF27BBE9 for ; Wed, 20 Sep 2023 11:52:32 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qiuoF-0002BQ-BP; Wed, 20 Sep 2023 06:51:55 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qiuoD-0002B7-FD for guix-patches@gnu.org; Wed, 20 Sep 2023 06:51:53 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qiuoD-00048q-6R for guix-patches@gnu.org; Wed, 20 Sep 2023 06:51:53 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qiuoL-0005Y8-LM; Wed, 20 Sep 2023 06:52:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#66119] [PATCH 1/3] gnu: Add ocaml-iso8601. Resent-From: Matthieu Lemerre Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Wed, 20 Sep 2023 10:52:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66119 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 66119@debbugs.gnu.org Cc: Matthieu Lemerre , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 66119-submit@debbugs.gnu.org id=B66119.169520707821242 (code B ref 66119); Wed, 20 Sep 2023 10:52:01 +0000 Received: (at 66119) by debbugs.gnu.org; 20 Sep 2023 10:51:18 +0000 Received: from localhost ([127.0.0.1]:58441 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiund-0005WY-Pm for submit@debbugs.gnu.org; Wed, 20 Sep 2023 06:51:18 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:36187) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiunb-0005WF-GA for 66119@debbugs.gnu.org; Wed, 20 Sep 2023 06:51:16 -0400 Received: by mail.gandi.net (Postfix) with ESMTPSA id 39AB71C0008; Wed, 20 Sep 2023 10:50:58 +0000 (UTC) From: Matthieu Lemerre Date: Wed, 20 Sep 2023 12:50:38 +0200 Message-ID: <2bc75ea490306069a51706e822e49f8af87f00a8.1695203766.git.racin@free.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 X-GND-Sasl: matthieu@lemer.re 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-iso8601): New variable. --- gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index ea9d3e3594..5caa2d6185 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2445,6 +2445,28 @@ (define-public ocaml-calendar ;; With linking exception. (license license:lgpl2.1+)))) +(define-public ocaml-iso8601 + (package + (name "ocaml-iso8601") + (version "0.2.6") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml-community/ISO8601.ml") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0nzadswspizi7s6sf67icn2xgc3w150x8vdg5nk1mjrm2s98n6d3")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-odoc)) + (native-inputs (list ocaml-ounit)) + (home-page "https://github.com/ocaml-community/ISO8601.ml/") + (synopsis "ISO 8601 and RFC 3999 date parsing for OCaml") + (description + "An OCaml library for parsing dates in ISO 8601 and RFC 3999 format.") + (license license:expat))) + (define-public ocaml-cmdliner (package (name "ocaml-cmdliner") From patchwork Wed Sep 20 10:50:39 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Matthieu Lemerre X-Patchwork-Id: 54071 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id B69BC27BBEA; Wed, 20 Sep 2023 11:52:14 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 3CF2427BBE2 for ; Wed, 20 Sep 2023 11:52:14 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qiuoM-0002F7-At; Wed, 20 Sep 2023 06:52:02 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qiuoF-0002BX-EK for guix-patches@gnu.org; Wed, 20 Sep 2023 06:51:55 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qiuoF-00049T-6D for guix-patches@gnu.org; Wed, 20 Sep 2023 06:51:55 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qiuoM-0005YF-0v; Wed, 20 Sep 2023 06:52:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#66119] [PATCH 2/3] gnu: Add ocaml-ocb. Resent-From: Matthieu Lemerre Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Wed, 20 Sep 2023 10:52:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66119 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 66119@debbugs.gnu.org Cc: Matthieu Lemerre , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 66119-submit@debbugs.gnu.org id=B66119.169520708421267 (code B ref 66119); Wed, 20 Sep 2023 10:52:01 +0000 Received: (at 66119) by debbugs.gnu.org; 20 Sep 2023 10:51:24 +0000 Received: from localhost ([127.0.0.1]:58445 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiunk-0005Ww-2V for submit@debbugs.gnu.org; Wed, 20 Sep 2023 06:51:24 -0400 Received: from relay5-d.mail.gandi.net ([2001:4b98:dc4:8::225]:58315) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiuni-0005WV-6l for 66119@debbugs.gnu.org; Wed, 20 Sep 2023 06:51:22 -0400 Received: by mail.gandi.net (Postfix) with ESMTPSA id CAC4E1C000D; Wed, 20 Sep 2023 10:51:06 +0000 (UTC) From: Matthieu Lemerre Date: Wed, 20 Sep 2023 12:50:39 +0200 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 X-GND-Sasl: matthieu@lemer.re 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-ocb): New variable. --- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 5caa2d6185..96ef416b30 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5834,6 +5834,29 @@ (define-public ocaml-ocb-stubblr OCaml projects that contain C stubs.") (license license:isc))) + +(define-public ocaml-ocb + (package + (name "ocaml-ocb") + (version "0.2") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/OCamlPro/ocb") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1nk90jax91ld8qd36qi408mll8a7w1d60fa2qdsnff7cldwixc1d")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-odoc)) + (home-page "https://ocamlpro.github.io/ocb/") + (synopsis "ocb (OCaml Badgen): SVG badge generation") + (description + "ocb (OCaml Badgen) is an OCaml library for SVG badge generation. +There's also a command-line tool provided.") + (license license:isc))) + (define-public ocaml-tsdl (package (name "ocaml-tsdl") From patchwork Wed Sep 20 10:50:40 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Matthieu Lemerre X-Patchwork-Id: 54072 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 608F227BBEA; Wed, 20 Sep 2023 11:52:29 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id D15E427BBE2 for ; Wed, 20 Sep 2023 11:52:28 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qiuoF-0002Bl-J7; Wed, 20 Sep 2023 06:51:55 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qiuoD-0002BE-RT for guix-patches@gnu.org; Wed, 20 Sep 2023 06:51:54 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qiuoD-000490-Hr for guix-patches@gnu.org; Wed, 20 Sep 2023 06:51:53 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qiuoM-0005YL-CJ; Wed, 20 Sep 2023 06:52:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#66119] [PATCH 3/3] gnu: Add ocaml-toml. Resent-From: Matthieu Lemerre Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Wed, 20 Sep 2023 10:52:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66119 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 66119@debbugs.gnu.org Cc: Matthieu Lemerre , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 66119-submit@debbugs.gnu.org id=B66119.169520708721283 (code B ref 66119); Wed, 20 Sep 2023 10:52:02 +0000 Received: (at 66119) by debbugs.gnu.org; 20 Sep 2023 10:51:27 +0000 Received: from localhost ([127.0.0.1]:58447 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiunn-0005XD-Gs for submit@debbugs.gnu.org; Wed, 20 Sep 2023 06:51:27 -0400 Received: from relay5-d.mail.gandi.net ([2001:4b98:dc4:8::225]:59069) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiuni-0005WX-JV for 66119@debbugs.gnu.org; Wed, 20 Sep 2023 06:51:26 -0400 Received: by mail.gandi.net (Postfix) with ESMTPSA id 66E341C000B; Wed, 20 Sep 2023 10:51:07 +0000 (UTC) From: Matthieu Lemerre Date: Wed, 20 Sep 2023 12:50:40 +0200 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 X-GND-Sasl: matthieu@lemer.re 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-toml): New variable. --- gnu/packages/ocaml.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 96ef416b30..4941dd91ac 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5040,6 +5040,31 @@ (define-public ocaml-ezjsonm JSON.") (license license:isc))) +(define-public ocaml-toml + (package + (name "ocaml-toml") + (version "7.1.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml-toml/to.ml") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0z2873mj3i6h9cg8zlkipcjab8jympa4c4avhk4l04755qzphkds")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-odoc ocaml-iso8601)) + (native-inputs (list ocaml-menhir ocaml-ounit2 ocaml-mdx ocaml-bisect-ppx + ocaml-ocb)) + (home-page "https://ocaml-toml.github.io/To.ml/") + (synopsis "OCaml library for TOML with a parser, a serializer and a printer") + (description + "Toml is an OCaml library providing a parser, a serializer and a printer for +TOML, a minimal configuration file format. Helpful getters to retrieve data as +OCaml primitive types are also supplied.") + (license license:lgpl3))) + (define-public ocaml-uri (package (name "ocaml-uri")