From unknown Sun Jun 22 17:09:52 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#33879 <33879@debbugs.gnu.org> To: bug#33879 <33879@debbugs.gnu.org> Subject: Status: [PATCH] gnu: Add ocaml-biniou. Reply-To: bug#33879 <33879@debbugs.gnu.org> Date: Mon, 23 Jun 2025 00:09:52 +0000 retitle 33879 [PATCH] gnu: Add ocaml-biniou. reassign 33879 guix-patches submitter 33879 Gabriel Hondet severity 33879 normal tag 33879 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Wed Dec 26 14:04:50 2018 Received: (at submit) by debbugs.gnu.org; 26 Dec 2018 19:04:50 +0000 Received: from localhost ([127.0.0.1]:37991 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gcEU5-0007f5-Mu for submit@debbugs.gnu.org; Wed, 26 Dec 2018 14:04:49 -0500 Received: from eggs.gnu.org ([208.118.235.92]:49849) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gcEU2-0007eo-Qz for submit@debbugs.gnu.org; Wed, 26 Dec 2018 14:04:48 -0500 Received: from lists.gnu.org ([208.118.235.17]:55598) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gcETx-0006PZ-LM for submit@debbugs.gnu.org; Wed, 26 Dec 2018 14:04:41 -0500 Received: from eggs.gnu.org ([208.118.235.92]:40468) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gcETw-0003ah-LG for guix-patches@gnu.org; Wed, 26 Dec 2018 14:04:41 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=BAYES_40,FREEMAIL_FROM autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gcETr-0006KS-Mr for guix-patches@gnu.org; Wed, 26 Dec 2018 14:04:40 -0500 Received: from mail-wm1-x32d.google.com ([2a00:1450:4864:20::32d]:36275) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gcETr-0006JI-Ga for guix-patches@gnu.org; Wed, 26 Dec 2018 14:04:35 -0500 Received: by mail-wm1-x32d.google.com with SMTP id p6so15844010wmc.1 for ; Wed, 26 Dec 2018 11:04:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=H7HGzB57SdEsgmauZA6ClEiYTgqy7anu4fFpoQRjZdY=; b=Uma5yzTTz3Zt4DYVDIrdFaoeFWQYimeEDUGpm+84c5ymDLIv/8sO9A3bi2bo4Px1J3 +OQNun8pp7Oo8KlKp53rnWLcZShpDd2QKewswnQfKfYPRYs/iUIpdGDY4Spd6JqTbYda dr5HaXixHayudb3em/aDozwXV4mbJigolSezHBRAQ703fT7qtG19cdRETJZFuDkMK/FQ 6Yq2j63XMQWMOKF77+oNshAQvMBhD/ZAMzUz6XLLnmtOtnAdZTB7vwr7nY3UgOFJTMiY ZbaV+lncxu2PPz7qZIvtGyFOY+mpKpCMEdOalOVfL7FDwNJHKrsrIF/4yLDzftdeU24n qjyA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=H7HGzB57SdEsgmauZA6ClEiYTgqy7anu4fFpoQRjZdY=; b=E4v6U/6I6/4/isSutNrr0kNhmWFoEdu13blWFBRDroISTHsNxkcJqyNON364JNRvC1 9T3JBMnYl/cVIQ1UmSKH0BxNvwEVStMT5Kzi+wlhSop20rovYOLTPObft8RcP/P7bR7W O5OIWbwM2XDFI+7IfCSWd5beDb/e4BmsnK9llcorbrI5OmI4Dw7bL4VWuQUmHkJZ8+3r 6esJdKPv2925/yWSNDBgj6n3M/6BXhVDW4haPStZ7bisNjMnqMxEXMLuAUCLWzRz8WY6 kScAuJ6n2zA0CG2Iewe2Gq5kAt0xYskAU/fgSQit/iwDOXeoFHF9GO9C8t/clk0/mqS4 Hhig== X-Gm-Message-State: AJcUukfHbUatSw0uhNZoQo5wiBd8n5d0iVk4ea4RLz+dBLgZOdEiQ9t0 bZFpr0e/m5rgFWdiV3Ev0p8WwxQW X-Google-Smtp-Source: AFSGD/VCHk6HlGhVwYYSyK+UDsGPUUK8/DA3XnHOjwVz1jayaKHSjc0ildYJk2RJ7TK1t1eOBfax5w== X-Received: by 2002:a1c:a9d4:: with SMTP id s203mr18485247wme.132.1545851074267; Wed, 26 Dec 2018 11:04:34 -0800 (PST) Received: from glht-x240.gmail.com ([80.12.58.195]) by smtp.gmail.com with ESMTPSA id q3sm29129394wrn.84.2018.12.26.11.04.31 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Wed, 26 Dec 2018 11:04:33 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: guix-patches@gnu.org Subject: [PATCH] gnu: Add ocaml-biniou. Date: Wed, 26 Dec 2018 20:00:27 +0100 Message-ID: <87r2e4w1mv.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:4864:20::32d X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: -4.0 (----) 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: -5.0 (-----) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-biniou): New variable. =2D-- gnu/packages/ocaml.scm | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 603db34db..4cfd203bd 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5044,3 +5044,44 @@ dependent types. The =CE=BB=CE=A0-calculus modulo t= heory is itself an extension of the rules. This system is not designed to develop proofs, but to check proofs developed in other systems. In particular, it enjoys a minimalistic synta= x.") (license license:cecill-c))) + +(define-public ocaml-biniou + (package + (name "ocaml-biniou") + (version "1.2.0") + (home-page "https://github.com/mjambon/biniou") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0mjpgwyfq2b2izjw0flmlpvdjgqpq8shs89hxj1np2r50csr8dcb")))) + (build-system ocaml-build-system) + (inputs + `(("ocaml-easy-format" ,ocaml-easy-format))) + (native-inputs + `(("which" ,which) + ("ocaml-jbuilder" ,ocaml-jbuilder))) + (arguments + '(#:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'install + ;; install target in makefile is missing from this version + (lambda _ + (invoke "jbuilder" "install" + (string-append "--prefix=3D" + (assoc-ref %outputs "out")))))))) + (synopsis "Data format designed for speed, safety, ease of use and back= ward +compatibility") + (description "Biniou (pronounced \"be new\" is a binary data format +designed for speed, safety, ease of use and backward compatibility as +protocols evolve. Biniou is vastly equivalent to JSON in terms of +functionality but allows implementations several times faster (4 times fas= ter +than yojson), with 25-35% space savings.") + (license license:bsd-3))) + =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwj0LgACgkQMbyBBfZZ 1CVVgA//cztYbwaFfmtiFN9YyNH+KreBImAdHUsSSkYMw2Sg1TCDc15lkgWrDPTn dGPCAB1OI2IJiJDN1/LUsaT/laBkJKhIHFS2kSBEhRi86dPUpVuytLIO7QpFPzBH AF7fqQvzX8mmsoCBW3X43QATQOFUvluVYPXcoYZp5PSfLMaQ4Rbpp3z6c0GigsXg lPPvqNxGjxazEe+3zvp6206sJnTNMeKqbJDa0uII1Q6Yh+No6XgvSKF+1oo9EklR zp3KXVogFE4VyeXPTXaf8uledGWoFXy/UMWkDis5+tW/k5m0r7RQDaHKp3wPQuIn DnEDZRX53pRZoqaCNjhG2JJABUMsbnp+wBB0bvmpAZiMO6RgguDxMX5rBG3LTi3E WGUALYCZIfP6OESp+h7OeVC1itM/bGgUI9tTFd0c5c+toDTgPZWg3SGalp7Z69T4 P+KxPWLTYE5uwTIgi3kpSoTdLhLKwtuy26M5xu8vFYul0XWFq8ULNZTfTUESkHFH 5qBgyU3mi4oj+0sCab2C6eVo9v9f1yRZOwp92B4187byevvfjomQdEXpXvXJLDRd U8YQK4dV18vGPvi/n6Tc1xzf1X7N07mVFmq8V3C4duS/Sswl/eiCA4QezvVuLr96 lX3xurLUX372ltxvCqFWMOBo5atG/QvjMPuZIMtlQPr2RJmOrdE= =4qdK -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Thu Dec 27 03:51:05 2018 Received: (at 33879-done) by debbugs.gnu.org; 27 Dec 2018 08:51:05 +0000 Received: from localhost ([127.0.0.1]:38155 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gcRNg-00055i-NI for submit@debbugs.gnu.org; Thu, 27 Dec 2018 03:51:05 -0500 Received: from lepiller.eu ([89.234.186.109]:45788) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gcRNe-00055Y-LI for 33879-done@debbugs.gnu.org; Thu, 27 Dec 2018 03:51:02 -0500 Received: from localhost (41.189.239.238 [41.189.239.238]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 4b54d4ce (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <33879-done@debbugs.gnu.org>; Thu, 27 Dec 2018 08:47:42 +0000 (UTC) Date: Thu, 27 Dec 2018 09:50:54 +0100 From: Julien Lepiller To: 33879-done@debbugs.gnu.org Subject: Re: [bug#33879] [PATCH] gnu: Add ocaml-biniou. Message-ID: <20181227095054.75dc1ee9@lepiller.eu> In-Reply-To: <87r2e4w1mv.fsf@gmail.com> References: <87r2e4w1mv.fsf@gmail.com> X-Mailer: Claws Mail 3.17.1 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/+PBTK7RiHmFdo3E699v9Mx3"; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33879-done 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 (-) --Sig_/+PBTK7RiHmFdo3E699v9Mx3 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Pushed as 2939fe7b3cb5a53daebab7b7734e29be3ba8d153, thank you! I've modified the definition to use the dune-build-system, as that's what used by the opam file anyway. In that case, no need to add jbuild as an input, it's added implicitely (well, actually it's dune, but it works). --Sig_/+PBTK7RiHmFdo3E699v9Mx3 Content-Type: application/pgp-signature Content-Description: Signature digitale OpenPGP -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEtfrmKFtBNyiyoPrtQxEfRSAIagwFAlwkkm4ACgkQQxEfRSAI agzs7Q/9Hj1CA63Ihb43NadAF5LmEvr57PjYZS7zH52H/VIymw6YCvT91hD+BhTB vKdFNWKKPHySbPIzePIKC5hI6uQCI3w885gP+vqOv8pb+RD9OGNh6WR8IlUVSFZ6 BpP0t3exWHkuUMS4/dV0FNKgv5tIByxUB2wpdDhB+ZbPHdpdr+IAoCU/b9UpawAq Nr3BrhrdtwMM2H+1hmnk/NcO7poY5FvbIuJJnY3uj8l2Y8ZGLsnfz74KSERsHom9 qTUfx2LEiafvGSHm2ISccIiyNnKb1Yimv2FNFunOTKNFsIV1i7ScqZ+Qj/pAlgdo ufOoUGgdcQs9zMTplqVAeKxZMVxneuKrAO0MvcIlzur7fiYy/+SXssXQYEpR1MXm H1/Q05tfcdMJx8FM30WvFeko+rPCylEhrhkvqPTCky/I8oyt00UW32x93LZ1+oU0 uflrDCXUrJ5obFGi52FAABhuP9C3U9Qc8SqbbBsnFEhg2IKzzJFgvZYIlrKdgUNa A3IlqLXgxJw7/IH3M8g6EfcJ9qWEGAOzCIbziaLuxd3w20osYdDg99+qN0uI+4Ij tM6cupWJrBMIaecIwJzcdZ58XPEZjwDrK2YMhxsZxzCfKEwwaKItNVHfP66exNvF MVLUdvC8BT0xaQYWjfVh6lii5xiU8t/cFExxAmVqvhZaJnFPDoA= =nZjP -----END PGP SIGNATURE----- --Sig_/+PBTK7RiHmFdo3E699v9Mx3-- From unknown Sun Jun 22 17:09:52 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 24 Jan 2019 12: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