From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id EKG7FRNrVmWPPgEA9RJhRA:P1 (envelope-from ) for ; Thu, 16 Nov 2023 20:18:43 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id EKG7FRNrVmWPPgEA9RJhRA (envelope-from ) for ; Thu, 16 Nov 2023 20:18:43 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 2A9941454B for ; Thu, 16 Nov 2023 20:18:43 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm1 header.b=wNIUjXpo; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm1 header.b="K RodDmI"; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1700162323; a=rsa-sha256; cv=none; b=FGS+ZStwL0j15ADe/KQy0hIahgVPYr7OPDwBGdaq4h+dJcKyU2siKaiOor3i3uR3YZXCmS aWJ1tB3YAfrhKWXJcfqqWfOR8OjVv9kr+BsjUCO1fESUfFdiM1IaWwrhnu+bKywbHIWpF4 NnkdPshstohaw1NYFp6jfSLASddoa7wqmI4mq4Xl7fwAF6t2CPZa+uAJPeK6LcfZuUYwoW QjozvO+qCqn0sw1QVNgRygiSJ9Vknp570v8Vviho7WEx6ojQ0vNc80Ydhxmj+u6ZVQD2Bd Ve7PokNhRDtBx0q7/c1CHcHJ2NNzd2pEd4Zxp/jqA/dqC+AIq4SXFdpIsjXBQw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1700162323; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=TyXto21Pr0l88vZ+0tPI9VWoQSPznZA9OTS3c3MA20s=; b=AwBwhx3emfBHkUurK+1S2+kfExepUPUTQrKi2LEsSaWXNdCQpOBokBCK2bA3AAB9i6HjS1 KhXUMYASH9P5CUsFH1//vfhtFUt80i15yfbuw0NNI65X47VneQN+PBizIc7+uOXwMxMbGQ 6JoNjcC8yzJWGzEYFP+sUh8l6Wdsm2hPx0jryxVhpvtbfA8T81yo9d42tXcEOBpH+TjCSR klC3rCXsD5Exifbu4v5ZfQHzoISgL+cL2MQGOsu6ve0J5pk3bGbq4mFAsha6EcALpbRFXq u7gwAYyiiylvzrzBUw5a1w/VfdD7VTW2bCVCxDZt1D5kzl3fcPVEgKj6Ods4ow== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm1 header.b=wNIUjXpo; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm1 header.b="K RodDmI"; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r3hsO-0004PV-9p; Thu, 16 Nov 2023 14:18:08 -0500 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 1r3hsJ-0004LP-Hn for guix-patches@gnu.org; Thu, 16 Nov 2023 14:18:03 -0500 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 1r3hsJ-0004WD-9C for guix-patches@gnu.org; Thu, 16 Nov 2023 14:18:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r3hsJ-0003og-12; Thu, 16 Nov 2023 14:18:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#67019] [PATCH v2 07/16] gnu: Add ocaml-dtoa. Resent-From: Philip McGrath Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 16 Nov 2023 19:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 67019 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 67019@debbugs.gnu.org Cc: Philip McGrath , Liliana Marie Prikler , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 67019-submit@debbugs.gnu.org id=B67019.170016222914540 (code B ref 67019); Thu, 16 Nov 2023 19:18:02 +0000 Received: (at 67019) by debbugs.gnu.org; 16 Nov 2023 19:17:09 +0000 Received: from localhost ([127.0.0.1]:44592 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r3hrR-0003mJ-2f for submit@debbugs.gnu.org; Thu, 16 Nov 2023 14:17:09 -0500 Received: from out4-smtp.messagingengine.com ([66.111.4.28]:48699) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r3hr4-0003iU-5s for 67019@debbugs.gnu.org; Thu, 16 Nov 2023 14:16:46 -0500 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.nyi.internal (Postfix) with ESMTP id D99095C0211; Thu, 16 Nov 2023 14:16:40 -0500 (EST) Received: from mailfrontend1 ([10.202.2.162]) by compute1.internal (MEProxy); Thu, 16 Nov 2023 14:16:40 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= philipmcgrath.com; h=cc:cc:content-transfer-encoding :content-type:date:date:from:from:in-reply-to:in-reply-to :message-id:mime-version:references:reply-to:sender:subject :subject:to:to; s=fm1; t=1700162200; x=1700248600; bh=TyXto21Pr0 l88vZ+0tPI9VWoQSPznZA9OTS3c3MA20s=; b=wNIUjXpoB0Z6Lq/jSANh6b6fVV bWXx+udw3m9d7JY6H78TMhftlq6+o5xzBaG725mzs8a/RjgIxg2BGgcFmo6ogYUs EqrRZBKJnEZ07hkYQUTuNHnqmDgM2xLoP6+VP2GxF1a0hY0UglblQU/mvpM/lbdV QkmosJCD8aoVpmCiNWv4iQYRA+LZiCV6OFLCUofnWtO4NBJgwNMwhxzMyG0w1sb4 F0Jrqbq29jz2C6KPMfJuveRIlNnhEY7wGgjE19Ntv/8ZcLrMQgv81imsNs/79lEz +YSIWrcz+SEekEPnL7PGDpCn17V14crI94iC6PkwbRqgzrF5FWLI+6VVVjnA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-transfer-encoding :content-type:date:date:feedback-id:feedback-id:from:from :in-reply-to:in-reply-to:message-id:mime-version:references :reply-to:sender:subject:subject:to:to:x-me-proxy:x-me-proxy :x-me-sender:x-me-sender:x-sasl-enc; s=fm1; t=1700162200; x= 1700248600; bh=TyXto21Pr0l88vZ+0tPI9VWoQSPznZA9OTS3c3MA20s=; b=K RodDmIiW14ew2wmrl41wNla4fY9SGJ08eUQEXA0AU78BhQMmvDB0W0vBLwO1eKuO 2guTiKnJcz05nL07hSHHYcjYf48iYQ9kO4r3SCOmZrFZaysndy6cUj0mfWF4NRSM 8iI0rWKN2sS0ylZAINci3SQS5U9iIhpi5N00/DgM7d55anWnIxrTD0g8I0BA+HJp TTV5npGHZjqJ9Na2ZmEc28NjxYbQNQ3b2QbDh3ZvEyleqZZQ4ztIEdnugYIkh5HF cFtgZGGJXXq3Xi2CxcrpoGaiqFokeiEhXAj8pXvcTfw2tBp95B+nllAoBHihzdk4 Fy1ZSfWyooX/oQY+9mwig== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvkedrudefkedguddvtdcutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfgh necuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmd enucfjughrpefhvfevufffkffojghfggfgsedtkeertdertddtnecuhfhrohhmpefrhhhi lhhiphcuofgtifhrrghthhcuoehphhhilhhiphesphhhihhlihhpmhgtghhrrghthhdrtg homheqnecuggftrfgrthhtvghrnhepudehvdefjeetfffffeektdehtdetudfhtdfhuddt ueeukefhveehhfehvdfhheffnecuffhomhgrihhnpehgihhthhhusgdrtghomhenucevlh hushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpehphhhilhhiphes phhhihhlihhpmhgtghhrrghthhdrtghomh X-ME-Proxy: Feedback-ID: i2b1146f3:Fastmail Received: by mail.messagingengine.com (Postfix) with ESMTPA; Thu, 16 Nov 2023 14:16:40 -0500 (EST) From: Philip McGrath Date: Thu, 16 Nov 2023 14:15:45 -0500 Message-ID: <4ccdb4652b68ad0cb1ed898b8ab5ecfc34125cb7.1700161584.git.philip@philipmcgrath.com> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Scanner: mx11.migadu.com X-Spam-Score: 0.81 X-Migadu-Queue-Id: 2A9941454B X-Migadu-Spam-Score: 0.81 X-TUID: rX8577CAR07g * gnu/packages/ocaml.scm (ocaml-dtoa): 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 b12c12fad5..36f349df73 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2513,6 +2513,30 @@ (define-public ocaml4.07-fmt "0gkkkj4x678vxdda4xaw2dd44qjacavsvn5nx8gydfwah6pjbkxk")))) (properties '())))) +(define-public ocaml-dtoa + (package + (name "ocaml-dtoa") + (version "0.3.3") + (source (origin + (method url-fetch) + (uri + (string-append "https://github.com/flow/ocaml-dtoa/releases/" + "download/v" version "/dtoa-" version ".tbz")) + (sha256 + (base32 + "0gpfr6iyiihmkpas542916cnhfdbrigvzwrix8jrxcljks661x6q")))) + (build-system dune-build-system) + (native-inputs (list ocaml-ounit2)) + (home-page "https://github.com/flow/ocaml-dtoa") + (synopsis + "Efficent float to string conversion for OCaml") + (description + "This package provides functions that convert OCaml floats into strings +quickly, accurately, and (almost always) optimally using the Grisu3 algorithm. +The implementation was adapted from a C++ library originally developed as part +of the V8 JavaScript engine.") + (license license:expat))) + (define-public ocaml-astring (package (name "ocaml-astring") -- 2.41.0