From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH 0/5] gnu: Add ocaml-digestif. (and dependencies) Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, guix-patches@gnu.org Resent-Date: Fri, 19 Aug 2022 15:23:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57298@debbugs.gnu.org Cc: pukkamustard , Xinglu Chen , julien@lepiller.eu X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: julien@lepiller.eu Received: via spool by submit@debbugs.gnu.org id=B.16609225715056 (code B ref -1); Fri, 19 Aug 2022 15:23:01 +0000 Received: (at submit) by debbugs.gnu.org; 19 Aug 2022 15:22:51 +0000 Received: from localhost ([127.0.0.1]:59103 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3pi-0001JR-PC for submit@debbugs.gnu.org; Fri, 19 Aug 2022 11:22:51 -0400 Received: from lists.gnu.org ([209.51.188.17]:38936) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3pf-0001JI-0d for submit@debbugs.gnu.org; Fri, 19 Aug 2022 11:22:48 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57446) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oP3pe-0000FN-He for guix-patches@gnu.org; Fri, 19 Aug 2022 11:22:46 -0400 Received: from mout01.posteo.de ([185.67.36.65]:48961) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oP3pb-0003gV-SF for guix-patches@gnu.org; Fri, 19 Aug 2022 11:22:46 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id D9DCA240028 for ; Fri, 19 Aug 2022 17:22:37 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1660922559; bh=+vERbjRvjOUNiyTFLjYDFzrRL2mFuIP72WMWi2R4V/Y=; h=From:To:Cc:Subject:Date:From; b=pBxwmmHsIhv92ooNIiE+fdxqMxy2aGmEMQlx1xXf5odJi99CZEQ8aVsj2m84ZZeee Ui/ieWcr86bNeuy/VMng5QOCjmq912Fei7IZU00O7zNRkeouIZ5/QAhaK/gK4LpV28 3r8Az01Pb0jCsT3TAeeuJvPYtXbyxbfg91i3SSpk0/IbWzsmpA4fijrq9fKRRyQNxA FgbrjjcapI5J19CWTDp3QzncKcNoJSHvdETimj35x0N6NuM1vo/PETebPtt5Brvanr XSXhHn2izgV5rhLWVqXgANFUigp+mBop6/oNeAVZ2Cvuw3Cz23PLB7SQSflBBEZPQF m8Or0/RCTz2Ww== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4M8QVL6cnZz9rxS; Fri, 19 Aug 2022 17:22:32 +0200 (CEST) From: pukkamustard Date: Fri, 19 Aug 2022 15:21:49 +0000 Message-Id: <20220819152149.25881-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=185.67.36.65; envelope-from=pukkamustard@posteo.net; helo=mout01.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) 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.3 (--) Hello Guix, This adds ocaml-digestif. An OCaml library that implements some hashing functions. Some commits have been recycled from https://issues.guix.gnu.org/49867. Best regards, pukkamustard Xinglu Chen (1): gnu: Add ocaml-afl-persistent. pukkamustard (4): gnu: Add ocaml-pprint. gnu: Add ocaml-crowbar. gnu: Add ocaml-eqaf. gnu: Add ocaml-digestif. gnu/packages/ocaml.scm | 151 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 151 insertions(+) -- 2.37.1 From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH 1/5] gnu: Add ocaml-afl-persistent. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 19 Aug 2022 15:26:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57298@debbugs.gnu.org Cc: Xinglu Chen Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.16609227135359 (code B ref 57298); Fri, 19 Aug 2022 15:26:02 +0000 Received: (at 57298) by debbugs.gnu.org; 19 Aug 2022 15:25:13 +0000 Received: from localhost ([127.0.0.1]:59116 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3s1-0001OM-H2 for submit@debbugs.gnu.org; Fri, 19 Aug 2022 11:25:13 -0400 Received: from mout01.posteo.de ([185.67.36.65]:41629) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3s0-0001O8-HN for 57298@debbugs.gnu.org; Fri, 19 Aug 2022 11:25:13 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id D067B240029 for <57298@debbugs.gnu.org>; Fri, 19 Aug 2022 17:25:06 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1660922706; bh=QQ0pHxgzAroHZooqE1W9ijZtiiZUnVcGgla9jt6q5Cs=; h=From:To:Cc:Subject:Date:From; b=BCPXSrq1qIKDt5YoykjzDjbhDpTUVn1yJ0bl3rxykCcIBkdn5AgmvwrsNwJANQpAW +3TtEh8vAOnkO5CNgbnpvQxhyCuMGVuVHqOtEnBc7xR1Yuz0d4TglG7x2XyvXRd9w7 sL7WMMdmvUvcPe4UaC6VSq/w9aBGyuXHQGni4hGppXPPOrwREzPqoKmoxLWJUdThOu CVhReiySQEixCXPnxatZDxlllleUKB5CpuVSBt72DZ9nna4ErfH4By3GlqZPvPvJU2 4xaRbOS38ENPlnBRqq5KDAiWHyHVLLIAFRAQhpZ3ZS4JX5QnRsZIaeppzs3JdbE75J ne0UrJ2kiR/SA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4M8QYG0qddz9rxW; Fri, 19 Aug 2022 17:25:05 +0200 (CEST) From: pukkamustard Date: Fri, 19 Aug 2022 15:24:28 +0000 Message-Id: <20220819152432.26135-1-pukkamustard@posteo.net> In-Reply-To: <20220819152149.25881-1-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.3 (/) 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.3 (-) From: Xinglu Chen * gnu/packages/ocaml.scm (ocaml-afl-persistent): New variable. --- gnu/packages/ocaml.scm | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 3f123219f7..14550d1232 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8545,6 +8545,40 @@ (define-public js-of-ocaml browsers and Node.js.") (license license:lgpl2.1+))) +(define-public ocaml-afl-persistent + (package + (name "ocaml-afl-persistent") + (version "1.3") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/stedolan/ocaml-afl-persistent") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "06yyds2vcwlfr2nd3gvyrazlijjcrd1abnvkfpkaadgwdw3qam1i")))) + (build-system ocaml-build-system) + (arguments + '(#:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'build + (lambda _ + (invoke "./build.sh"))) + ;; XXX: The tests are already run in the build.sh script. + (delete 'check)))) + (native-inputs + `(("opam" ,opam))) + (home-page "https://github.com/stedolan/ocaml-afl-persistent") + (synopsis "Use afl-fuzz in persistent mode") + (description + "afl-fuzz normally works by repeatedly forking the program being tested. +Using this package, you can run afl-fuzz in ``persistent mode'', which avoids +repeated forking and is much faster.") + (license license:expat))) + (define-public ocaml-bibtex2html (package (name "ocaml-bibtex2html") -- 2.37.1 From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH 2/5] gnu: Add ocaml-pprint. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 19 Aug 2022 15:26:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57298@debbugs.gnu.org Cc: pukkamustard Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.16609227215383 (code B ref 57298); Fri, 19 Aug 2022 15:26:02 +0000 Received: (at 57298) by debbugs.gnu.org; 19 Aug 2022 15:25:21 +0000 Received: from localhost ([127.0.0.1]:59120 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3s8-0001Ol-TG for submit@debbugs.gnu.org; Fri, 19 Aug 2022 11:25:21 -0400 Received: from mout02.posteo.de ([185.67.36.66]:46943) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3s7-0001OU-Bm for 57298@debbugs.gnu.org; Fri, 19 Aug 2022 11:25:19 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id C73B4240105 for <57298@debbugs.gnu.org>; Fri, 19 Aug 2022 17:25:13 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1660922713; bh=b7IINOWSq+kWKQDsTj22aFbb7vRZXGkhHyuFPaD+tD8=; h=From:To:Cc:Subject:Date:From; b=Y1GXQOaJ+kGa7K3ANMbh7SlMB+naqsL3LGv+PyJCwTOBUboxa/EEMbMLW9qXJ0DNr YIRy7q/VmbNChyjJ06dGofK30tJxgnKTBtgoULWsIl1y92NWmE+52ZimtyKfuEfFu1 vi7qcBDLbmKCYxP52Gx2wEArgAvazG/sPrQA2pE7pqMZLji7zMwq4coKt7sGjHpHAp 876uYCbVEghYswzQ0nFrNWpXNI9rrR4k8NLDGpOqgNs9Wl6tYY5Wh6cNv5vNdiJId4 Nejv/u4xUngBtvyA2VerxDW8ser1gfth6IPRgHjh44Dd8lmvfOztZXE/ojmCXZS5MD vTjkjHpw9q03w== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4M8QYP0zXrz9rxP; Fri, 19 Aug 2022 17:25:13 +0200 (CEST) From: pukkamustard Date: Fri, 19 Aug 2022 15:24:29 +0000 Message-Id: <20220819152432.26135-2-pukkamustard@posteo.net> In-Reply-To: <20220819152432.26135-1-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220819152432.26135-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) 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: -3.3 (---) * gnu/packages/ocaml.scm (ocaml-pprint): 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 14550d1232..dc56fb3ba3 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8579,6 +8579,31 @@ (define-public ocaml-afl-persistent repeated forking and is much faster.") (license license:expat))) +(define-public ocaml-pprint + (package + (name "ocaml-pprint") + (version "20200410") + (home-page "https://github.com/fpottier/pprint") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "16xc0rd4yj1y9rrs9fbhidd08icy4pc1plx48hp0xs6vnkh1wxjm")))) + (build-system dune-build-system) + (synopsis "OCaml pretty-printing combinator library and rendering +engine") + (description "This OCaml library offers a set of combinators for building +so-called documents as well as an efficient engine for converting documents to +a textual, fixed-width format. The engine takes care of indentation and line +breaks, while respecting the constraints imposed by the structure of the +document and by the text width.") + (license license:lgpl2.0))) + (define-public ocaml-bibtex2html (package (name "ocaml-bibtex2html") -- 2.37.1 From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH 3/5] gnu: Add ocaml-crowbar. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 19 Aug 2022 15:26:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57298@debbugs.gnu.org Cc: pukkamustard Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.16609227255405 (code B ref 57298); Fri, 19 Aug 2022 15:26:03 +0000 Received: (at 57298) by debbugs.gnu.org; 19 Aug 2022 15:25:25 +0000 Received: from localhost ([127.0.0.1]:59126 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3sD-0001P7-6d for submit@debbugs.gnu.org; Fri, 19 Aug 2022 11:25:25 -0400 Received: from mout02.posteo.de ([185.67.36.66]:50405) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3sA-0001Ob-KJ for 57298@debbugs.gnu.org; Fri, 19 Aug 2022 11:25:23 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 12EF3240103 for <57298@debbugs.gnu.org>; Fri, 19 Aug 2022 17:25:17 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1660922717; bh=46Ojl6nO8L0GtmA/fPHYLTLFrabUlA5lViis4sU5OiM=; h=From:To:Cc:Subject:Date:From; b=pqlJGDyJMWOLYSMmKVYDwCeHDd6tsQaD4smPqWC2uCnwwQjVHQDWIuSNYDAob52rB NT3HTMCXwgrsogpMTPRmtu82h4bq48eE8lBknCEFq55pwPGAjD7ngkrOVv1mma7op4 R5yPPI6N7yQlVs03yqsF0dXd9MKawZ/g3W3MxGA/AfTSL9JZhbmRhQ/anAPxSQP5Pn kRN6vY+IBOw7sXWfbt4QbqmAd998MFr1yP870eDuQ7hsaXT2IZWk9rQ9HHxb3BhcbF 07ylKni+LgpupYocdYDdb7aPHTPGlZpqn5doTxiWpjM3Nwu/12Yc2tb3pLWaEE28ql 6Ny2q4BxcR1Tg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4M8QYS4GGWz9rxW; Fri, 19 Aug 2022 17:25:16 +0200 (CEST) From: pukkamustard Date: Fri, 19 Aug 2022 15:24:30 +0000 Message-Id: <20220819152432.26135-3-pukkamustard@posteo.net> In-Reply-To: <20220819152432.26135-1-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220819152432.26135-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) 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: -3.3 (---) * gnu/packages/ocaml.scm (ocaml-crowbar): New variable. --- gnu/packages/ocaml.scm | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index dc56fb3ba3..506153785a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8604,6 +8604,42 @@ (define-public ocaml-pprint document and by the text width.") (license license:lgpl2.0))) +(define-public ocaml-crowbar + (package + (name "ocaml-crowbar") + (version "0.2.1") + (home-page "https://github.com/stedolan/crowbar") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "11f3kiw58g8njx15akx16xcplzvzdw9y6c4jpyfxylkxws4g0f6j")))) + (build-system dune-build-system) + (arguments + ;; Tests require ocaml-xmldiff which requires OCaml 4.12.0 + `(#:tests? #f)) + (propagated-inputs + (list ocaml-ocplib-endian + ocaml-cmdliner + ocaml-afl-persistent)) + (native-inputs + (list ocaml-calendar + ocaml-fpath + ocaml-uucp + ocaml-uunf + ocaml-uutf + ocaml-pprint)) + (synopsis "Ocaml library for tests, let a fuzzer find failing cases") + (description "Crowbar is a library for testing code, combining +QuickCheck-style property-based testing and the magical bug-finding powers of +@uref{http://lcamtuf.coredump.cx/afl/, afl-fuzz}.") + (license license:expat))) + (define-public ocaml-bibtex2html (package (name "ocaml-bibtex2html") -- 2.37.1 From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH 4/5] gnu: Add ocaml-eqaf. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 19 Aug 2022 15:26:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57298@debbugs.gnu.org Cc: pukkamustard Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.16609227285420 (code B ref 57298); Fri, 19 Aug 2022 15:26:03 +0000 Received: (at 57298) by debbugs.gnu.org; 19 Aug 2022 15:25:28 +0000 Received: from localhost ([127.0.0.1]:59130 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3sG-0001PM-GK for submit@debbugs.gnu.org; Fri, 19 Aug 2022 11:25:28 -0400 Received: from mout01.posteo.de ([185.67.36.65]:48489) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3sC-0001Od-7f for 57298@debbugs.gnu.org; Fri, 19 Aug 2022 11:25:24 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id A907F24002A for <57298@debbugs.gnu.org>; Fri, 19 Aug 2022 17:25:18 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1660922718; bh=11Fj63pMNBRMdd6l6hAi0CWM41WjnCYkpQ6xunqTjpI=; h=From:To:Cc:Subject:Date:From; b=ZvR2vdfiH4WnTstJpvfZMPeBApWUhiv6xsmXHrzQH2wp4jrEhWMwpCc5OG+9qYMok 9wGNxQLIHoyzYSbtu0HJFQ/g0GWCN/7BC4W+vE/7I3wxjVq+UBtWSRu6v1s89lvURR YUcVz/bC7vOwgUrm/54EX0Ud7frKiMLF1Ntc92lrFSjOVG+r5G6obmuLVrKOLXbM3s oYed5lLWw5KsgsRLp7drT0hEVr1SALAntATHQcs06qaUS97giOVx9KcuuDQWpbz2B/ hNHzL1Gbttz7SjXpwhvshruJVHKuPbhKGhaBplXkvMvh73u7rlAaYz1HZm5HcEX6C4 Md0nKD0SgwIqg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4M8QYV14W0z9rxN; Fri, 19 Aug 2022 17:25:18 +0200 (CEST) From: pukkamustard Date: Fri, 19 Aug 2022 15:24:31 +0000 Message-Id: <20220819152432.26135-4-pukkamustard@posteo.net> In-Reply-To: <20220819152432.26135-1-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220819152432.26135-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) 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: -3.3 (---) * gnu/packages/ocaml.scm (ocaml-eqaf): 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 506153785a..f078241c10 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8640,6 +8640,29 @@ (define-public ocaml-crowbar @uref{http://lcamtuf.coredump.cx/afl/, afl-fuzz}.") (license license:expat))) +(define-public ocaml-eqaf + (package + (name "ocaml-eqaf") + (version "0.9") + (home-page "https://github.com/mirage/eqaf") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "16ics56wiqyng70dy2hqikicm8ag1mv5w1h7hkiwvydw1x2j2rsl")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-cstruct)) + (native-inputs (list ocaml-alcotest ocaml-crowbar)) + (synopsis "OCaml library for constant-time equal function on string") + (description "This OCaml library provides an equal function on string in +constant-time to avoid timing-attack with crypto stuff.") + (license license:expat))) + (define-public ocaml-bibtex2html (package (name "ocaml-bibtex2html") -- 2.37.1 From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH 5/5] gnu: Add ocaml-digestif. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 19 Aug 2022 15:26:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57298@debbugs.gnu.org Cc: pukkamustard Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.16609227325431 (code B ref 57298); Fri, 19 Aug 2022 15:26:04 +0000 Received: (at 57298) by debbugs.gnu.org; 19 Aug 2022 15:25:32 +0000 Received: from localhost ([127.0.0.1]:59132 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3sJ-0001PX-Sn for submit@debbugs.gnu.org; Fri, 19 Aug 2022 11:25:32 -0400 Received: from mout02.posteo.de ([185.67.36.66]:57783) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3sF-0001Ot-Hk for 57298@debbugs.gnu.org; Fri, 19 Aug 2022 11:25:28 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id F241D240106 for <57298@debbugs.gnu.org>; Fri, 19 Aug 2022 17:25:21 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1660922722; bh=DW4lI4wmXXrG5yxkWjE8ecj5tqnuzLNiYsQSbI+EpS0=; h=From:To:Cc:Subject:Date:From; b=hYCfs3cUTkJoLVUAcx5p29GgZEuB7hbicLxCzo6tBO1RUlx+zt0VAm2/kRVt820Ju 3tTXAuFHHWY1Y38JacoE90j7ha1TLFg0g7z1r6naJzDsLaL2jBVPQ7pHiKk552fCGH 9LB6YQxldOIkKNAfPPThMS0LLKJII/tMy0wXbNFwhpmX41pJnw7x1AOrB9Ku6FUbXl z7r1GozVv29i/JKfhm37t9EN+pCviRvjcFZS8n/421On/CZeHMMVq0gud7EoAeB6WV vDANEFneTQCz/s0CFxGP7hpheiCv6AkEK3FClJ2rXZviBJBQGJMUqZSz8L2bF73NZI NxDF2eI0UiPpg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4M8QYY3DH8z9rxH; Fri, 19 Aug 2022 17:25:21 +0200 (CEST) From: pukkamustard Date: Fri, 19 Aug 2022 15:24:32 +0000 Message-Id: <20220819152432.26135-5-pukkamustard@posteo.net> In-Reply-To: <20220819152432.26135-1-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220819152432.26135-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) 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: -3.3 (---) * gnu/packages/ocaml.scm (ocaml-digestif): 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 f078241c10..6dde939ad7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8663,6 +8663,39 @@ (define-public ocaml-eqaf constant-time to avoid timing-attack with crypto stuff.") (license license:expat))) +(define-public ocaml-digestif + (package + (name "ocaml-digestif") + (version "1.1.2") + (home-page "https://github.com/mirage/digestif") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0mc233d63y04jznsn3bxncgv7fkvyngbv6hcka412iq0y3x4qsmq")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-eqaf)) + (native-inputs + (list pkg-config + ocaml-fmt + ocaml-alcotest + ocaml-bos + ocaml-astring + ocaml-fpath + ocaml-rresult + ocaml-findlib)) + (synopsis "Simple hash algorithms in OCaml") + (description + "Digestif is an OCaml library that provides implementations of hash +algorithms. Implemented hash algorithms include MD5, SHA1, SHA224, SHA256, +SHA384, SHA512, Blake2b, Blake2s and RIPEMD160.") + (license license:expat))) + (define-public ocaml-bibtex2html (package (name "ocaml-bibtex2html") -- 2.37.1 From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH 2/5] gnu: Add ocaml-pprint. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 20 Aug 2022 12:04:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: pukkamustard Cc: 57298@debbugs.gnu.org Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.166099701522143 (code B ref 57298); Sat, 20 Aug 2022 12:04:01 +0000 Received: (at 57298) by debbugs.gnu.org; 20 Aug 2022 12:03:35 +0000 Received: from localhost ([127.0.0.1]:59711 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oPNCQ-0005l4-VF for submit@debbugs.gnu.org; Sat, 20 Aug 2022 08:03:35 -0400 Received: from lepiller.eu ([89.234.186.109]:48098) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oPNCJ-0005ko-Sn for 57298@debbugs.gnu.org; Sat, 20 Aug 2022 08:03:33 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id ca0fa492; Sat, 20 Aug 2022 12:03:25 +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=5UULVVVlOJxF wuUtQQ1fAJ5QE0gy827ZzPt7+4XAEUI=; b=O1bBrPjlQXe/9fWeW5loClna2gxK O1n3OCSgVy8lb1xlD6wlmbjv4+Et9npoUfA8qOiUy5GFoNt+cZfHVckM5Dokqtk0 UpGsixYV96Yr4WLBFvXOPP/OVMaG9Ik7q1B0Dfrywb8Duj68AbtysMMP72n2lv4K XOfObVMc5TbPbkO8WCYmH1UGwbSBkB6r4V7sDsIl2Boms2Gs19JbQcu/x0YCcjWa TWOFSnjBIqUfclgVy7Y1bs7+SkX/i1QQxzHfUczhnxttwObgxNA4C3Stde2xTo3F AVMtDtFWrOBbcONZOtZdBUm06p/BgpXL/04fqpn5ljPvMoSmbKfl2CR1Og== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 43af7ac9 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Sat, 20 Aug 2022 12:03:25 +0000 (UTC) Date: Sat, 20 Aug 2022 14:03:23 +0200 From: Julien Lepiller Message-ID: <20220820140323.3e5e6dc5@sybil.lepiller.eu> In-Reply-To: <20220819152432.26135-2-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220819152432.26135-1-pukkamustard@posteo.net> <20220819152432.26135-2-pukkamustard@posteo.net> X-Mailer: Claws Mail 4.1.0 (GTK 3.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) 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 (-) Hi! guix lint complains this package is not the latest version. Indeed, it's 2 years old when there are newer versions. The latest version seems to work fine. Why do you need this version precisely? Le Fri, 19 Aug 2022 15:24:29 +0000, pukkamustard a =C3=A9crit : > * gnu/packages/ocaml.scm (ocaml-pprint): New variable. > --- > gnu/packages/ocaml.scm | 25 +++++++++++++++++++++++++ > 1 file changed, 25 insertions(+) >=20 > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index 14550d1232..dc56fb3ba3 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -8579,6 +8579,31 @@ (define-public ocaml-afl-persistent > repeated forking and is much faster.") > (license license:expat))) > =20 > +(define-public ocaml-pprint > + (package > + (name "ocaml-pprint") > + (version "20200410") > + (home-page "https://github.com/fpottier/pprint") > + (source > + (origin > + (method git-fetch) > + (uri (git-reference > + (url home-page) > + (commit version))) > + (file-name (git-file-name name version)) > + (sha256 > + (base32 > + "16xc0rd4yj1y9rrs9fbhidd08icy4pc1plx48hp0xs6vnkh1wxjm")))) > + (build-system dune-build-system) > + (synopsis "OCaml pretty-printing combinator library and rendering > +engine") > + (description "This OCaml library offers a set of combinators for > building +so-called documents as well as an efficient engine for > converting documents to +a textual, fixed-width format. The engine > takes care of indentation and line +breaks, while respecting the > constraints imposed by the structure of the +document and by the text > width.") > + (license license:lgpl2.0))) > + > (define-public ocaml-bibtex2html > (package > (name "ocaml-bibtex2html") From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH 3/5] gnu: Add ocaml-crowbar. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 20 Aug 2022 12:06:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: pukkamustard Cc: 57298@debbugs.gnu.org Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.166099711122307 (code B ref 57298); Sat, 20 Aug 2022 12:06:01 +0000 Received: (at 57298) by debbugs.gnu.org; 20 Aug 2022 12:05:11 +0000 Received: from localhost ([127.0.0.1]:59715 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oPNDz-0005nj-Ej for submit@debbugs.gnu.org; Sat, 20 Aug 2022 08:05:11 -0400 Received: from lepiller.eu ([89.234.186.109]:48110) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oPNDx-0005nb-Qy for 57298@debbugs.gnu.org; Sat, 20 Aug 2022 08:05:10 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 183e7399; Sat, 20 Aug 2022 12:05:08 +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=ROC8AaysdS2f 3/tx/qtPH89Dcn3qBTNWVZkLWHl7n3Y=; b=T7hviFAjoddebhQDnsB3j++F6Iby tIpWcLfjGaQW1iej5j7n0Y+EKcwD1yJjnWV8EXA2twlfPow6MwajKiFNukf4g0oV lw9snJVUFwnhCvj62ZRSjIpcNOGQNZtHowNhWuhlX7l/BFQxCU6pwTicAG+vEkj3 fOoJ5nlyHPbA+BYvGZzqRG9rURSOFYEiZFn+rF0aZ5vPJOb54VyfQEIUv0yvp/xO +4Ude9ki6BiBTpDn8W8o9ZJkdf38jhVGHccmUh3KUi6KBEeHPR2HxJKOfUT/eZWw nVBfgQoZKjq49cIKOSpDxfq0HnFjgFYIF24KnMuBT3P+H+5oJqa+cnaa0A== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 57ac3231 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Sat, 20 Aug 2022 12:05:08 +0000 (UTC) Date: Sat, 20 Aug 2022 14:05:06 +0200 From: Julien Lepiller Message-ID: <20220820140506.61879f57@sybil.lepiller.eu> In-Reply-To: <20220819152432.26135-3-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220819152432.26135-1-pukkamustard@posteo.net> <20220819152432.26135-3-pukkamustard@posteo.net> X-Mailer: Claws Mail 4.1.0 (GTK 3.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) 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 Fri, 19 Aug 2022 15:24:30 +0000, pukkamustard a =C3=A9crit : > + (build-system dune-build-system) > + (arguments > + ;; Tests require ocaml-xmldiff which requires OCaml 4.12.0 > + `(#:tests? #f)) That doesn't seem to be the case, at least from opam, the constraint is ocaml >=3D 4.12. We have 4.14. Could you try adding xmldiff and enabling tests? > + (propagated-inputs > + (list ocaml-ocplib-endian > + ocaml-cmdliner > + ocaml-afl-persistent)) > + (native-inputs > + (list ocaml-calendar > + ocaml-fpath > + ocaml-uucp > + ocaml-uunf > + ocaml-uutf > + ocaml-pprint)) > + (synopsis "Ocaml library for tests, let a fuzzer find failing > cases") > + (description "Crowbar is a library for testing code, combining > +QuickCheck-style property-based testing and the magical bug-finding > powers of +@uref{http://lcamtuf.coredump.cx/afl/, afl-fuzz}.") > + (license license:expat))) > + > (define-public ocaml-bibtex2html > (package > (name "ocaml-bibtex2html") From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH 2/5] gnu: Add ocaml-pprint. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Aug 2022 09:46:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Cc: 57298@debbugs.gnu.org Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.166116154322182 (code B ref 57298); Mon, 22 Aug 2022 09:46:02 +0000 Received: (at 57298) by debbugs.gnu.org; 22 Aug 2022 09:45:43 +0000 Received: from localhost ([127.0.0.1]:37900 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ407-0005li-5y for submit@debbugs.gnu.org; Mon, 22 Aug 2022 05:45:43 -0400 Received: from mout02.posteo.de ([185.67.36.66]:33605) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ401-0005lQ-Ao for 57298@debbugs.gnu.org; Mon, 22 Aug 2022 05:45:41 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id A8680240103 for <57298@debbugs.gnu.org>; Mon, 22 Aug 2022 11:45:29 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1661161530; bh=afWKkWBTnumO2yXNhibzQWT8YHDfMFl9by0IAa9Wxn4=; h=From:To:Cc:Subject:Date:From; b=dt4+DcmcnYwQZzoQe6I+6bUGfD0/BZKOK4ZNwExkGtLIQQWMlVXXkCkGQzLgE/kaz vU5ZE/d3r1H8M+Np9k5QI3gaxcaDfNR7BP129y091mGzQ+hGshZ+1ym8PBF4H3BQiQ HfQEAu2joU2cAdQxXJ3SDRPE5/F5QifXhESD2A0XKq4WXemUWUygv7XJSMf185YasJ N+BkBABVnFdaba6qp+542I1YGHboA8JBUNC9/8hKjuIRO4VZE8OjZXoL1pGQ0Xvmvt tt4nWl4RrtRP+wCiPC8rjIXiVW0tqQm2U/F4lKcIPn1xYY8RUZTmG8tR+TUdJjzQDS gDHtpWRu2pBbA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4MB6t10K7Sz9rxH; Mon, 22 Aug 2022 11:45:27 +0200 (CEST) References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220819152432.26135-1-pukkamustard@posteo.net> <20220819152432.26135-2-pukkamustard@posteo.net> <20220820140323.3e5e6dc5@sybil.lepiller.eu> From: pukkamustard Date: Mon, 22 Aug 2022 09:43:22 +0000 In-reply-to: <20220820140323.3e5e6dc5@sybil.lepiller.eu> Message-ID: <86v8qk4nnt.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) 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: -3.3 (---) Hi! Julien Lepiller writes: > guix lint complains this package is not the latest version. Indeed, > it's 2 years old when there are newer versions. The latest version > seems to work fine. Why do you need this version precisely? Absolutely right. Only reason for me to include the old version was ignorance. Updated to most recent version (20220103) in V2. From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH 3/5] gnu: Add ocaml-crowbar. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Aug 2022 09:52:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Cc: 57298@debbugs.gnu.org Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.166116186522922 (code B ref 57298); Mon, 22 Aug 2022 09:52:02 +0000 Received: (at 57298) by debbugs.gnu.org; 22 Aug 2022 09:51:05 +0000 Received: from localhost ([127.0.0.1]:37904 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ45J-0005xe-1I for submit@debbugs.gnu.org; Mon, 22 Aug 2022 05:51:05 -0400 Received: from mout01.posteo.de ([185.67.36.65]:44087) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ45G-0005x9-Td for 57298@debbugs.gnu.org; Mon, 22 Aug 2022 05:51:04 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id EE5AD240029 for <57298@debbugs.gnu.org>; Mon, 22 Aug 2022 11:50:56 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1661161857; bh=9fAj6mSer4ukKSCx1SJHbe+K1wlNo/3hRNFm3A+L/yU=; h=From:To:Cc:Subject:Date:From; b=UMC3DXOS5JQ8StiU34X8WMnHAwKErR9OomUtbXaxfge/jTDdXqA1nS2uZMqUfZPuL M5Nm74MeQ6Cg3tPstaTuMqLzsWRQFHf++2OqYwk8vNfcUD4HFvFy8k7ieIWMYFdO4/ cmsNxRksC1YeRvbxLzy9I/x2EKuugeiqVfWNdo4BGScrRczwd/1RlShzxsQSzRmE23 MDvBthti9prjsOJ0yqlxIEYijnZlx5usmh8JW78mfQ53OaR5maQldd5TqzKG2TnBhn DxZGL8ISfoITOSVrripk/hQCZtP3dw8yb8emfgdWb0vk2Lr0SX5+QVVLIfrVcJVQgl owNENPbgpTVOQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4MB70J0nwpz9rxH; Mon, 22 Aug 2022 11:50:55 +0200 (CEST) References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220819152432.26135-1-pukkamustard@posteo.net> <20220819152432.26135-3-pukkamustard@posteo.net> <20220820140506.61879f57@sybil.lepiller.eu> From: pukkamustard Date: Mon, 22 Aug 2022 09:45:37 +0000 In-reply-to: <20220820140506.61879f57@sybil.lepiller.eu> Message-ID: <86r1184neo.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) 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: -3.3 (---) Julien Lepiller writes: > Le Fri, 19 Aug 2022 15:24:30 +0000, > pukkamustard a =C3=A9crit : > >> + (build-system dune-build-system) >> + (arguments >> + ;; Tests require ocaml-xmldiff which requires OCaml 4.12.0 >> + `(#:tests? #f)) > > That doesn't seem to be the case, at least from opam, the constraint is > ocaml >=3D 4.12. We have 4.14. Could you try adding xmldiff and enabling > tests? Again, this seems to have been an artifact of porting the package definitions from an old patch series. Sorry for the sloppyness. ocaml-crowbar no longer has tests that rely on xmldiff. I've enabled the tests and it just works. A general note on another OCaml dependency: ocaml-calendar seems to be unmaintained (https://discuss.ocaml.org/t/calendarlib-looking-for-a-new-maintainer/3965) and some fixes are included in an unreleased Git branch (https://github.com/ocaml-community/calendar/tree/3.x). No action required from Guix side at the moment, just worth keeping in mind. Thanks for your review! Will send in V2 shortly. -pukkamustard > >> + (propagated-inputs >> + (list ocaml-ocplib-endian >> + ocaml-cmdliner >> + ocaml-afl-persistent)) >> + (native-inputs >> + (list ocaml-calendar >> + ocaml-fpath >> + ocaml-uucp >> + ocaml-uunf >> + ocaml-uutf >> + ocaml-pprint)) >> + (synopsis "Ocaml library for tests, let a fuzzer find failing >> cases") >> + (description "Crowbar is a library for testing code, combining >> +QuickCheck-style property-based testing and the magical bug-finding >> powers of +@uref{http://lcamtuf.coredump.cx/afl/, afl-fuzz}.") >> + (license license:expat))) >> + >> (define-public ocaml-bibtex2html >> (package >> (name "ocaml-bibtex2html") From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH v2 1/5] gnu: Add ocaml-afl-persistent. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Aug 2022 09:56:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57298@debbugs.gnu.org Cc: Xinglu Chen Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.166116212823313 (code B ref 57298); Mon, 22 Aug 2022 09:56:02 +0000 Received: (at 57298) by debbugs.gnu.org; 22 Aug 2022 09:55:28 +0000 Received: from localhost ([127.0.0.1]:37908 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ49X-00063w-P3 for submit@debbugs.gnu.org; Mon, 22 Aug 2022 05:55:28 -0400 Received: from mout01.posteo.de ([185.67.36.65]:51053) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ49W-00063f-2G for 57298@debbugs.gnu.org; Mon, 22 Aug 2022 05:55:26 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 3A20B240027 for <57298@debbugs.gnu.org>; Mon, 22 Aug 2022 11:55:20 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1661162120; bh=QQ0pHxgzAroHZooqE1W9ijZtiiZUnVcGgla9jt6q5Cs=; h=From:To:Cc:Subject:Date:From; b=qH2LXBUvEzms1UEo/cBRZPsTeVjQvWONFBvCENH5VG7QlCw3NDOqMTGB/b7eUVDgJ XRiO60ROOFMMguwCxE6GI68jtVgJXf5C4ESs55HP/jTKzkyudZmO2Ov5TUuUqn2gKK /pFL0KsW5ishMwdmSu6sFISJTjaXzf0nixG0nla7JOaHDt+D3MCFzsPps5sy95ikSI xmIUhWoyqDtWck9m0RCG7nH3Rz2WdhTX3RVToh7od/6/BGqZ1niqFrVxPacONvDegL UWmmly+PY5E0fvQdkFnEQr/6tLUTskHh+1QvUFo7EiNpg+BBKb4CCXqvtmWwlii3X3 t9qaq18jgxFEg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4MB75M3xQrz6tnf; Mon, 22 Aug 2022 11:55:19 +0200 (CEST) From: pukkamustard Date: Mon, 22 Aug 2022 09:54:35 +0000 Message-Id: <20220822095439.12522-1-pukkamustard@posteo.net> In-Reply-To: <20220819152149.25881-1-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.3 (/) 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.3 (-) From: Xinglu Chen * gnu/packages/ocaml.scm (ocaml-afl-persistent): New variable. --- gnu/packages/ocaml.scm | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 3f123219f7..14550d1232 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8545,6 +8545,40 @@ (define-public js-of-ocaml browsers and Node.js.") (license license:lgpl2.1+))) +(define-public ocaml-afl-persistent + (package + (name "ocaml-afl-persistent") + (version "1.3") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/stedolan/ocaml-afl-persistent") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "06yyds2vcwlfr2nd3gvyrazlijjcrd1abnvkfpkaadgwdw3qam1i")))) + (build-system ocaml-build-system) + (arguments + '(#:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'build + (lambda _ + (invoke "./build.sh"))) + ;; XXX: The tests are already run in the build.sh script. + (delete 'check)))) + (native-inputs + `(("opam" ,opam))) + (home-page "https://github.com/stedolan/ocaml-afl-persistent") + (synopsis "Use afl-fuzz in persistent mode") + (description + "afl-fuzz normally works by repeatedly forking the program being tested. +Using this package, you can run afl-fuzz in ``persistent mode'', which avoids +repeated forking and is much faster.") + (license license:expat))) + (define-public ocaml-bibtex2html (package (name "ocaml-bibtex2html") -- 2.37.1 From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH v2 2/5] gnu: Add ocaml-pprint. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Aug 2022 09:56:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57298@debbugs.gnu.org Cc: pukkamustard Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.166116213223336 (code B ref 57298); Mon, 22 Aug 2022 09:56:02 +0000 Received: (at 57298) by debbugs.gnu.org; 22 Aug 2022 09:55:32 +0000 Received: from localhost ([127.0.0.1]:37912 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ49c-00064I-50 for submit@debbugs.gnu.org; Mon, 22 Aug 2022 05:55:32 -0400 Received: from mout02.posteo.de ([185.67.36.66]:49311) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ49a-00063l-Iv for 57298@debbugs.gnu.org; Mon, 22 Aug 2022 05:55:31 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id B9A0A240103 for <57298@debbugs.gnu.org>; Mon, 22 Aug 2022 11:55:22 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1661162124; bh=/x5ygCHWqOdIAV6xG8u2ckWyyvIAv0SIxnisa0VIybI=; h=From:To:Cc:Subject:Date:From; b=QXdG22HzCBKFi4xSrE7raGrIFwaT3XY6hueWe2Hpq0uS6OD7R9C9iEq/sa8IQ7QXX 6q/+9gyeiKaFZqL1RTxs4Cs7kYBB6qC+3cf8xqybJDuE8+mpxby9JyA73zUGd3BCnO 3af4eWXldDN3JJ9TcemmMdboodi/4YfkFqg8FtfUYn8uwDTuYYE/ba5uhqssn8cMPb bHhvB8VU/8uLTPt2eJJp0c5wjSkG3U/oziNOxceb3h0ia8JHKhJRYY9dj/TRVjfusk cN9xjNksW+aerk3MLLL3BVQOj7/4W4CXFXBsyuoOseL8vK9opFaYkHPdM0SO6IDxbO hRxUUrjrGSHLw== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4MB75Q26Yrz6tlh; Mon, 22 Aug 2022 11:55:22 +0200 (CEST) From: pukkamustard Date: Mon, 22 Aug 2022 09:54:36 +0000 Message-Id: <20220822095439.12522-2-pukkamustard@posteo.net> In-Reply-To: <20220822095439.12522-1-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220822095439.12522-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) 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: -3.3 (---) * gnu/packages/ocaml.scm (ocaml-pprint): 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 14550d1232..aaa596ae20 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8579,6 +8579,31 @@ (define-public ocaml-afl-persistent repeated forking and is much faster.") (license license:expat))) +(define-public ocaml-pprint + (package + (name "ocaml-pprint") + (version "20220103") + (home-page "https://github.com/fpottier/pprint") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "09y6nwnjldifm47406q1r9987njlk77g4ifqg6qs54dckhr64vax")))) + (build-system dune-build-system) + (synopsis "OCaml pretty-printing combinator library and rendering +engine") + (description "This OCaml library offers a set of combinators for building +so-called documents as well as an efficient engine for converting documents to +a textual, fixed-width format. The engine takes care of indentation and line +breaks, while respecting the constraints imposed by the structure of the +document and by the text width.") + (license license:lgpl2.0))) + (define-public ocaml-bibtex2html (package (name "ocaml-bibtex2html") -- 2.37.1 From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH v2 3/5] gnu: Add ocaml-crowbar. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Aug 2022 09:56:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57298@debbugs.gnu.org Cc: pukkamustard Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.166116213323348 (code B ref 57298); Mon, 22 Aug 2022 09:56:03 +0000 Received: (at 57298) by debbugs.gnu.org; 22 Aug 2022 09:55:33 +0000 Received: from localhost ([127.0.0.1]:37914 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ49c-00064L-Hi for submit@debbugs.gnu.org; Mon, 22 Aug 2022 05:55:32 -0400 Received: from mout02.posteo.de ([185.67.36.66]:37373) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ49a-00063n-Tb for 57298@debbugs.gnu.org; Mon, 22 Aug 2022 05:55:31 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 5BEBB240104 for <57298@debbugs.gnu.org>; Mon, 22 Aug 2022 11:55:25 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1661162125; bh=onA8M2FbJMLbqeN3RwOykjJmeXfJDzERlOYe1pLMBMg=; h=From:To:Cc:Subject:Date:From; b=Ag1/E6LH7Hh6BIlyEkii/H2mSJalRHt3LrmSijFIEnCtjKUM67SxWIWAFA11UNQ4l gsxShOa+6NGkg2sCPMyFJsjeEyhWVKmhZ4knfyLcHsFhXA2ZrY9DU9oEsapndjHFb2 rKwf6czMeiCaTIH1mbxltIUQrf57lFXB+eQey1f4EERLr6mp1ddfIF+2rnez/QoALj CuVidAMQHN4FVakc4GawqIdinASyvAjPsdtcJjERtJw4T1iM++KxYEVbCJ/niSCJbH 04ftnBOkuKSmwRO7q4lU+10V/Jx8xaLbYUpCFprPOSCiT4nSdy5Dcakk0gBt4AOcuj UKNUvRnK+ySig== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4MB75S6Cpbz6tml; Mon, 22 Aug 2022 11:55:24 +0200 (CEST) From: pukkamustard Date: Mon, 22 Aug 2022 09:54:37 +0000 Message-Id: <20220822095439.12522-3-pukkamustard@posteo.net> In-Reply-To: <20220822095439.12522-1-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220822095439.12522-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) 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: -3.3 (---) * gnu/packages/ocaml.scm (ocaml-crowbar): New variable. --- gnu/packages/ocaml.scm | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index aaa596ae20..2c928f5fcc 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8604,6 +8604,41 @@ (define-public ocaml-pprint document and by the text width.") (license license:lgpl2.0))) +(define-public ocaml-crowbar + (package + (name "ocaml-crowbar") + (version "0.2.1") + (home-page "https://github.com/stedolan/crowbar") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "11f3kiw58g8njx15akx16xcplzvzdw9y6c4jpyfxylkxws4g0f6j")))) + (build-system dune-build-system) + (arguments + `(#:test-target ".")) + (propagated-inputs + (list ocaml-ocplib-endian + ocaml-cmdliner + ocaml-afl-persistent)) + (native-inputs + (list ocaml-calendar + ocaml-fpath + ocaml-uucp + ocaml-uunf + ocaml-uutf + ocaml-pprint)) + (synopsis "Ocaml library for tests, let a fuzzer find failing cases") + (description "Crowbar is a library for testing code, combining +QuickCheck-style property-based testing and the magical bug-finding powers of +@uref{http://lcamtuf.coredump.cx/afl/, afl-fuzz}.") + (license license:expat))) + (define-public ocaml-bibtex2html (package (name "ocaml-bibtex2html") -- 2.37.1 From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH v2 4/5] gnu: Add ocaml-eqaf. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Aug 2022 09:56:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57298@debbugs.gnu.org Cc: pukkamustard Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.166116213523357 (code B ref 57298); Mon, 22 Aug 2022 09:56:03 +0000 Received: (at 57298) by debbugs.gnu.org; 22 Aug 2022 09:55:35 +0000 Received: from localhost ([127.0.0.1]:37917 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ49f-00064f-2H for submit@debbugs.gnu.org; Mon, 22 Aug 2022 05:55:35 -0400 Received: from mout02.posteo.de ([185.67.36.66]:55291) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ49c-00063v-Di for 57298@debbugs.gnu.org; Mon, 22 Aug 2022 05:55:32 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id D770E240101 for <57298@debbugs.gnu.org>; Mon, 22 Aug 2022 11:55:26 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1661162126; bh=dF6WuIB3GTXNmq32Co87XrWNu6Nf7BAPrtVy7ucfMQU=; h=From:To:Cc:Subject:Date:From; b=aCt2wNZYfuS6v6XkfobHdlXQGq5o3nAIF5KncchpRb+nGkbvpNvG8h2w9g8R3fZw4 45TwJ1U4mbDRLzvadjttqXD4NSu1jdQcLod/L+EnFmcq2mSGa2Et0cinyIYC4TZwRO xBSPIwrXw23DY1JkP55cgP+lLXsGZYHMeTsGfYlDSTmwaHjPaq0mvMB0LRb21d2uhM 7oGAWBksJNkPyCVXUlABtA5wyEZJgTiJyhdBMvP1+B/4YHgZl6AN8MWdoIJz03RQ4I Ej3AOLmsmucFYfzg+vjqz2W3jcitt1aNXQd92kezngnKmmwpIUL85B3a8f9uFCF/Xd jqXNVN3us84Wg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4MB75V299Qz6tnp; Mon, 22 Aug 2022 11:55:26 +0200 (CEST) From: pukkamustard Date: Mon, 22 Aug 2022 09:54:38 +0000 Message-Id: <20220822095439.12522-4-pukkamustard@posteo.net> In-Reply-To: <20220822095439.12522-1-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220822095439.12522-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) 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: -3.3 (---) * gnu/packages/ocaml.scm (ocaml-eqaf): 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 2c928f5fcc..68b9bdac97 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8639,6 +8639,29 @@ (define-public ocaml-crowbar @uref{http://lcamtuf.coredump.cx/afl/, afl-fuzz}.") (license license:expat))) +(define-public ocaml-eqaf + (package + (name "ocaml-eqaf") + (version "0.9") + (home-page "https://github.com/mirage/eqaf") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "16ics56wiqyng70dy2hqikicm8ag1mv5w1h7hkiwvydw1x2j2rsl")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-cstruct)) + (native-inputs (list ocaml-alcotest ocaml-crowbar)) + (synopsis "OCaml library for constant-time equal function on string") + (description "This OCaml library provides an equal function on string in +constant-time to avoid timing-attack with crypto stuff.") + (license license:expat))) + (define-public ocaml-bibtex2html (package (name "ocaml-bibtex2html") -- 2.37.1 From unknown Mon Jun 23 11:28:01 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#57298] [PATCH v2 5/5] gnu: Add ocaml-digestif. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Aug 2022 09:56:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57298 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 57298@debbugs.gnu.org Cc: pukkamustard Received: via spool by 57298-submit@debbugs.gnu.org id=B57298.166116214623384 (code B ref 57298); Mon, 22 Aug 2022 09:56:03 +0000 Received: (at 57298) by debbugs.gnu.org; 22 Aug 2022 09:55:46 +0000 Received: from localhost ([127.0.0.1]:37920 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ49q-000656-DU for submit@debbugs.gnu.org; Mon, 22 Aug 2022 05:55:46 -0400 Received: from mout02.posteo.de ([185.67.36.66]:45181) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ49f-000644-ET for 57298@debbugs.gnu.org; Mon, 22 Aug 2022 05:55:35 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 59574240101 for <57298@debbugs.gnu.org>; Mon, 22 Aug 2022 11:55:28 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1661162128; bh=fFzJOsHLk3rqJ7VC7yABQ/WpDatKY0Q0rcCHt2gx3V0=; h=From:To:Cc:Subject:Date:From; b=EO4pqtwRNskMvYGixj5cuTeEzxSgvKUqIG9Fta7fEPJLiPO6g9g5aRztPSkO+Tgro RkDIJDGRBOGfgAmUXD/SNKJmu4IZCQ8ln5HR6X58OdBvCXbISnrNSKPxjnbLVH0XJJ ein5LaIpJ2O0IO3pn7nGqjxvr/j8xkI0Jt97V1N8x1bZHOgtVBsQhKr7zyplChwXqz DTFHkYaPQKeso5TL71fOKW9vfJVm3lmlBIcXQ2JaHC8O7H8cyJ4AN19Xdlfk6UVNav TUIoki2ExrrNgYH5LsiM7R3i/+hM+Hp5nFykLDFJpkD6Y2kuSOTIGNb424i6j7vT95 4kX8TrGyVX5vg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4MB75W5XbQz6tnp; Mon, 22 Aug 2022 11:55:27 +0200 (CEST) From: pukkamustard Date: Mon, 22 Aug 2022 09:54:39 +0000 Message-Id: <20220822095439.12522-5-pukkamustard@posteo.net> In-Reply-To: <20220822095439.12522-1-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220822095439.12522-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) 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: -3.3 (---) * gnu/packages/ocaml.scm (ocaml-digestif): 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 68b9bdac97..6e58c6139a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8662,6 +8662,39 @@ (define-public ocaml-eqaf constant-time to avoid timing-attack with crypto stuff.") (license license:expat))) +(define-public ocaml-digestif + (package + (name "ocaml-digestif") + (version "1.1.2") + (home-page "https://github.com/mirage/digestif") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0mc233d63y04jznsn3bxncgv7fkvyngbv6hcka412iq0y3x4qsmq")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-eqaf)) + (native-inputs + (list pkg-config + ocaml-fmt + ocaml-alcotest + ocaml-bos + ocaml-astring + ocaml-fpath + ocaml-rresult + ocaml-findlib)) + (synopsis "Simple hash algorithms in OCaml") + (description + "Digestif is an OCaml library that provides implementations of hash +algorithms. Implemented hash algorithms include MD5, SHA1, SHA224, SHA256, +SHA384, SHA512, Blake2b, Blake2s and RIPEMD160.") + (license license:expat))) + (define-public ocaml-bibtex2html (package (name "ocaml-bibtex2html") -- 2.37.1 From unknown Mon Jun 23 11:28:01 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: pukkamustard Subject: bug#57298: closed (Re: [bug#57298] gnu: Add ocaml-digestif.) Message-ID: References: <20220824182514.2b089652@sybil.lepiller.eu> <20220819152149.25881-1-pukkamustard@posteo.net> X-Gnu-PR-Message: they-closed 57298 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 57298@debbugs.gnu.org Date: Wed, 24 Aug 2022 16:26:01 +0000 Content-Type: multipart/mixed; boundary="----------=_1661358361-7561-1" This is a multi-part message in MIME format... ------------=_1661358361-7561-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #57298: [PATCH 0/5] gnu: Add ocaml-digestif. (and dependencies) which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 57298@debbugs.gnu.org. --=20 57298: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D57298 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1661358361-7561-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 57298-done) by debbugs.gnu.org; 24 Aug 2022 16:25:26 +0000 Received: from localhost ([127.0.0.1]:47946 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQtC2-0001x4-BU for submit@debbugs.gnu.org; Wed, 24 Aug 2022 12:25:26 -0400 Received: from lepiller.eu ([89.234.186.109]:52586) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQtBx-0001wn-T0 for 57298-done@debbugs.gnu.org; Wed, 24 Aug 2022 12:25:25 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 43b8d909; Wed, 24 Aug 2022 16:25:18 +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=Cw/D3rB/OS79 p56h43KKZu/HaSf67xBua7Y5TdH1kP4=; b=ZmXuRR7F/lhAlOn1p2Lqq3tS2nDo oYdMRav16005IOCzeq3xtcSEYATmrJZ4W9j0s04ZMzq5k3VgX1ILu/BsgS3DjE5p SOZ3Q77GDgkEPieQyyxVT503PCCEDVvYM1IJ5l2Qo4GNTK4A2ixOP/W0/L0KnU1w gkg2GF3M0NIzvMTYsaqWhj+Ex4UhvlP6pdt9iIV1AC4/bC9f/Oovux7S74d+OdpK v3To1JS4C4zZDIbiYfPgF30F1HWA0Kc+J097DspTURUZ0JBCKQ25j0OmL5utqckz N+Vg/cyjj4ZxFPywAK6ALTtNgGnOi/Lgh7WOAqSDD0jQL4Z8kowsXeuZEA== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id c50b7808 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Wed, 24 Aug 2022 16:25:17 +0000 (UTC) Date: Wed, 24 Aug 2022 18:25:14 +0200 From: Julien Lepiller To: pukkamustard Subject: Re: [bug#57298] gnu: Add ocaml-digestif. Message-ID: <20220824182514.2b089652@sybil.lepiller.eu> In-Reply-To: <20220822095439.12522-5-pukkamustard@posteo.net> References: <20220819152149.25881-1-pukkamustard@posteo.net> <20220822095439.12522-1-pukkamustard@posteo.net> <20220822095439.12522-5-pukkamustard@posteo.net> X-Mailer: Claws Mail 4.1.0 (GTK 3.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 57298-done Cc: 57298-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 (-) Pushed to master as 6256e267da0e134e76364cc28b6b397ecdf4e74f - a39207f7afd977e4e4299c6f0bb34bcb6d153818, thanks! ------------=_1661358361-7561-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 19 Aug 2022 15:22:51 +0000 Received: from localhost ([127.0.0.1]:59103 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3pi-0001JR-PC for submit@debbugs.gnu.org; Fri, 19 Aug 2022 11:22:51 -0400 Received: from lists.gnu.org ([209.51.188.17]:38936) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oP3pf-0001JI-0d for submit@debbugs.gnu.org; Fri, 19 Aug 2022 11:22:48 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57446) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oP3pe-0000FN-He for guix-patches@gnu.org; Fri, 19 Aug 2022 11:22:46 -0400 Received: from mout01.posteo.de ([185.67.36.65]:48961) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oP3pb-0003gV-SF for guix-patches@gnu.org; Fri, 19 Aug 2022 11:22:46 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id D9DCA240028 for ; Fri, 19 Aug 2022 17:22:37 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1660922559; bh=+vERbjRvjOUNiyTFLjYDFzrRL2mFuIP72WMWi2R4V/Y=; h=From:To:Cc:Subject:Date:From; b=pBxwmmHsIhv92ooNIiE+fdxqMxy2aGmEMQlx1xXf5odJi99CZEQ8aVsj2m84ZZeee Ui/ieWcr86bNeuy/VMng5QOCjmq912Fei7IZU00O7zNRkeouIZ5/QAhaK/gK4LpV28 3r8Az01Pb0jCsT3TAeeuJvPYtXbyxbfg91i3SSpk0/IbWzsmpA4fijrq9fKRRyQNxA FgbrjjcapI5J19CWTDp3QzncKcNoJSHvdETimj35x0N6NuM1vo/PETebPtt5Brvanr XSXhHn2izgV5rhLWVqXgANFUigp+mBop6/oNeAVZ2Cvuw3Cz23PLB7SQSflBBEZPQF m8Or0/RCTz2Ww== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4M8QVL6cnZz9rxS; Fri, 19 Aug 2022 17:22:32 +0200 (CEST) From: pukkamustard To: guix-patches@gnu.org Subject: [PATCH 0/5] gnu: Add ocaml-digestif. (and dependencies) Date: Fri, 19 Aug 2022 15:21:49 +0000 Message-Id: <20220819152149.25881-1-pukkamustard@posteo.net> MIME-Version: 1.0 X-Debbugs-Cc: julien@lepiller.eu Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=185.67.36.65; envelope-from=pukkamustard@posteo.net; helo=mout01.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: pukkamustard , Xinglu Chen 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.3 (--) Hello Guix, This adds ocaml-digestif. An OCaml library that implements some hashing functions. Some commits have been recycled from https://issues.guix.gnu.org/49867. Best regards, pukkamustard Xinglu Chen (1): gnu: Add ocaml-afl-persistent. pukkamustard (4): gnu: Add ocaml-pprint. gnu: Add ocaml-crowbar. gnu: Add ocaml-eqaf. gnu: Add ocaml-digestif. gnu/packages/ocaml.scm | 151 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 151 insertions(+) -- 2.37.1 ------------=_1661358361-7561-1--