diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/unionFind/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/unionFind/default.nix | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/unionFind/default.nix b/pkgs/development/ocaml-modules/unionFind/default.nix new file mode 100644 index 000000000000..aa1d5e82362b --- /dev/null +++ b/pkgs/development/ocaml-modules/unionFind/default.nix @@ -0,0 +1,24 @@ +{ lib, fetchFromGitLab, buildDunePackage }: + +buildDunePackage rec { + pname = "unionFind"; + version = "20220122"; + + useDune2 = true; + minimalOCamlVersion = "4.05"; + + src = fetchFromGitLab { + domain = "gitlab.inria.fr"; + owner = "fpottier"; + repo = pname; + rev = version; + sha256 = "sha256:0hdh56rbg8vfjd61q09cbmh8l5wmry5ykivg7gsm0v5ckkb3531r"; + }; + + meta = { + description = "Implementations of the union-find data structure"; + license = lib.licenses.lgpl2Only; + inherit (src.meta) homepage; + maintainers = [ lib.maintainers.vbgl ]; + }; +} |