[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#73466] [PATCH 07/16] gnu: Add ocaml-zarith-stubs-js.
From: |
Herman Rimm |
Subject: |
[bug#73466] [PATCH 07/16] gnu: Add ocaml-zarith-stubs-js. |
Date: |
Wed, 25 Sep 2024 10:03:03 +0200 |
* gnu/packages/ocaml.scm (ocaml-zarith-stubs-js): Add variable.
Change-Id: I8149b23d39e06996933b681234a970beb0ca0b78
---
gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 7b92abe00d..5cfe7a3ed9 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1958,6 +1958,28 @@ (define-public ocaml-zarith
for speed and space economy.")
(license license:lgpl2.1+))) ; with an exception
+(define-public ocaml-zarith-stubs-js
+ (package
+ (name "ocaml-zarith-stubs-js")
+ (version "0.17.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append "https://github.com/janestreet/zarith_stubs_"
+ "js/archive/refs/tags/v" version ".tar.gz"))
+ (sha256
+ (base32 "0fhlmvryyr3n7m02dnam4rsk4hlrpaqmjh397w8xrsdx0w8b20bk"))))
+ (build-system dune-build-system)
+ (arguments (list #:tests? #f)) ; File unavailable.
+ (properties `((upstream-name . "zarith_stubs_js")))
+ (native-inputs (list ocaml-ppx-jane))
+ (home-page "https://github.com/janestreet/zarith_stubs_js")
+ (synopsis "Javascripts stubs for the Zarith library")
+ (description
+ "This library contains no ocaml code, but instead implements all
+of the Zarith C stubs in Javascript for use in Js_of_ocaml.")
+ (license license:expat)))
+
(define-public ocaml-frontc
(package
(name "ocaml-frontc")
--
2.45.2
- [bug#73466] [PATCH 01/16] gnu: Add ocaml-jsonrpc., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 02/16] gnu: Add ocaml-ppx-yojson-conv-lib., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 04/16] gnu: Add ocaml-catapult., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 09/16] gnu: Add ocaml-js-of-ocaml-compiler., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 06/16] gnu: Add ocaml-menhirSdk., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 05/16] gnu: Add ocaml-directories., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 03/16] gnu: Add ocaml-arg-complete., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 12/16] gnu: Add ocaml-ppx-deriving-hash., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 13/16] gnu: ocaml-tyxml: Update to 4.6.0., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 07/16] gnu: Add ocaml-zarith-stubs-js.,
Herman Rimm <=
- [bug#73466] [PATCH 08/16] gnu: Add ocaml-qcheck-core., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 11/16] gnu: Add ocaml-cpu., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 14/16] gnu: Add ocaml-zmq., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 16/16] gnu: Add ocaml-goblint., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 10/16] gnu: Add ocaml-json-data-encoding., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 15/16] gnu: Add ocaml-goblint-cil., Herman Rimm, 2024/09/25
- [bug#73466] [PATCH 01/16] gnu: Add ocaml-jsonrpc., Julien Lepiller, 2024/09/25
- [bug#73466] [PATCH v2 01/15] gnu: Add ocaml-ppx-yojson-conv-lib., Herman Rimm, 2024/09/26