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