tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 fetchFromGitHub,
4 buildDunePackage,
5 zarith_stubs_js ? null,
6}:
7
8buildDunePackage rec {
9 pname = "integers_stubs_js";
10 version = "1.0";
11
12 minimalOCamlVersion = "4.08";
13 duneVersion = "3";
14
15 src = fetchFromGitHub {
16 owner = "o1-labs";
17 repo = pname;
18 rev = version;
19 sha256 = "sha256-lg5cX9/LQlVmR42XcI17b6KaatnFO2L9A9ZXfID8mTY=";
20 };
21
22 propagatedBuildInputs = [ zarith_stubs_js ];
23 doCheck = true;
24
25 meta = {
26 description = "Javascript stubs for the integers library in js_of_ocaml";
27 license = lib.licenses.mit;
28 maintainers = with lib.maintainers; [ bezmuth ];
29 inherit (src.meta) homepage;
30 };
31}