ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-10-04 03:27:38 +03:00
Code Issues Projects Releases Wiki Activity

ocamlPackages.bdd: init at unstable-2022-07-14

Browse Source
This commit is contained in:
Weijia Wang 2023-04-18 09:45:39 +03:00
parent 4e62ec6291
commit 5bbb301be2
2 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
pkgs/development/ocaml-modules/bdd/default.nix Normal file
View File

@ -0,0 +1,30 @@
{ lib
, buildDunePackage
, fetchFromGitHub
, stdlib-shims
}:
buildDunePackage {
pname = "bdd";
version = "unstable-2022-07-14";
duneVersion = "3";
src = fetchFromGitHub {
owner = "backtracking";
repo = "ocaml-bdd";
rev = "6d1b1d3c24e5784b87e599a00230ce652acb2dcc";
hash = "sha256-3mJZlAFQsI7AgrNQOe6N94CDfX5gXYqQBooV0jcoYEA=";
};
propagatedBuildInputs = [
stdlib-shims
];
meta = with lib; {
description = "Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml";
homepage = "https://github.com/backtracking/ocaml-bdd";
license = licenses.lgpl21Plus;
maintainers = with maintainers; [ wegank ];
};
}

2
pkgs/top-level/ocaml-packages.nix
View File

@ -66,6 +66,8 @@ let
batteries = callPackage ../development/ocaml-modules/batteries { };
bdd = callPackage ../development/ocaml-modules/bdd { };
benchmark = callPackage ../development/ocaml-modules/benchmark { };
bheap = callPackage ../development/ocaml-modules/bheap { };