GNU bug report logs - #73466
[PATCH 01/16] gnu: Add ocaml-jsonrpc.

Previous Next

Package: guix-patches;

Reported by: Herman Rimm <herman <at> rimm.ee>

Date: Wed, 25 Sep 2024 07:56:02 UTC

Severity: normal

Tags: patch

Full log


View this message in rfc822 format

From: Herman Rimm <herman <at> rimm.ee>
To: 73466 <at> debbugs.gnu.org
Cc: Julien Lepiller <julien <at> lepiller.eu>, pukkamustard <pukkamustard <at> posteo.net>
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





This bug report was last modified 262 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.