tjh.dev
1{
2 lib,
3 fetchFromGitHub,
4 buildDunePackage,
5 ounit,
6}:
7
8buildDunePackage {
9 pname = "mlbdd";
10 version = "0.7.3";
11
12 minimalOCamlVersion = "4.04";
13
14 src = fetchFromGitHub {
15 owner = "arlencox";
16 repo = "mlbdd";
17 rev = "v0.7.3";
18 hash = "sha256-TUdgx+B5341VJsnP7iTHID7hNC+5G/I2xNM5F3mdb/A=";
19 };
20
21 checkInputs = [ ounit ];
22
23 doCheck = true;
24
25 meta = {
26 homepage = "https://github.com/arlencox/mlbdd";
27 description = "Not-quite-so-simple Binary Decision Diagrams implementation for OCaml";
28 maintainers = with lib.maintainers; [ katrinafyi ];
29 };
30}