Loading pkgs/development/ocaml-modules/mlbdd/default.nix 0 → 100644 +30 −0 Original line number Diff line number Diff line { lib, fetchFromGitHub, buildDunePackage, ounit, }: buildDunePackage { pname = "mlbdd"; version = "0.7.2"; minimalOCamlVersion = "4.04"; src = fetchFromGitHub { owner = "arlencox"; repo = "mlbdd"; rev = "v0.7.2"; hash = "sha256-GRkaUL8LQDdQx9mPvlJIXatgRfen/zKt+nGLiH7Mfvs="; }; checkInputs = [ ounit ]; doCheck = true; meta = { homepage = "https://github.com/arlencox/mlbdd"; description = "A not-quite-so-simple Binary Decision Diagrams implementation for OCaml"; maintainers = with lib.maintainers; [ katrinafyi ]; }; } pkgs/top-level/ocaml-packages.nix +2 −0 Original line number Diff line number Diff line Loading @@ -1179,6 +1179,8 @@ let mirage-vnetif = callPackage ../development/ocaml-modules/mirage-vnetif { }; mlbdd = callPackage ../development/ocaml-modules/mlbdd { }; mldoc = callPackage ../development/ocaml-modules/mldoc { }; mlgmpidl = callPackage ../development/ocaml-modules/mlgmpidl { }; Loading Loading
pkgs/development/ocaml-modules/mlbdd/default.nix 0 → 100644 +30 −0 Original line number Diff line number Diff line { lib, fetchFromGitHub, buildDunePackage, ounit, }: buildDunePackage { pname = "mlbdd"; version = "0.7.2"; minimalOCamlVersion = "4.04"; src = fetchFromGitHub { owner = "arlencox"; repo = "mlbdd"; rev = "v0.7.2"; hash = "sha256-GRkaUL8LQDdQx9mPvlJIXatgRfen/zKt+nGLiH7Mfvs="; }; checkInputs = [ ounit ]; doCheck = true; meta = { homepage = "https://github.com/arlencox/mlbdd"; description = "A not-quite-so-simple Binary Decision Diagrams implementation for OCaml"; maintainers = with lib.maintainers; [ katrinafyi ]; }; }
pkgs/top-level/ocaml-packages.nix +2 −0 Original line number Diff line number Diff line Loading @@ -1179,6 +1179,8 @@ let mirage-vnetif = callPackage ../development/ocaml-modules/mirage-vnetif { }; mlbdd = callPackage ../development/ocaml-modules/mlbdd { }; mldoc = callPackage ../development/ocaml-modules/mldoc { }; mlgmpidl = callPackage ../development/ocaml-modules/mlgmpidl { }; Loading