diff options
author | Gabriel Hondet <gabrielhondet@gmail.com> | 2018-12-26 20:00:27 +0100 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2018-12-27 09:35:17 +0100 |
commit | 2939fe7b3cb5a53daebab7b7734e29be3ba8d153 (patch) | |
tree | 366fa38ba8d865ee2c04367c77c936624492e94b /gnu/packages | |
parent | ad536c98f9125f47dd948be7dd42d5c34e84bdfd (diff) | |
download | gnu-guix-2939fe7b3cb5a53daebab7b7734e29be3ba8d153.tar gnu-guix-2939fe7b3cb5a53daebab7b7734e29be3ba8d153.tar.gz |
gnu: Add ocaml-biniou.
* gnu/packages/ocaml.scm (ocaml-biniou): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/ocaml.scm | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 603db34dbd..a5193c7b3c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5044,3 +5044,32 @@ dependent types. The λΠ-calculus modulo theory 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 syntax.") (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 dune-build-system) + (inputs + `(("ocaml-easy-format" ,ocaml-easy-format))) + (native-inputs + `(("which" ,which))) + (synopsis "Data format designed for speed, safety, ease of use and backward +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 faster +than yojson), with 25-35% space savings.") + (license license:bsd-3))) |