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