about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/bindlib/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/ocaml-modules/bindlib/default.nix')
-rw-r--r--pkgs/development/ocaml-modules/bindlib/default.nix31
1 files changed, 31 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/bindlib/default.nix b/pkgs/development/ocaml-modules/bindlib/default.nix
new file mode 100644
index 000000000000..c0d8dd54a37b
--- /dev/null
+++ b/pkgs/development/ocaml-modules/bindlib/default.nix
@@ -0,0 +1,31 @@
+{ lib
+, fetchFromGitHub
+, buildDunePackage
+, earley
+, timed
+}:
+
+buildDunePackage rec {
+  pname = "bindlib";
+  version = "6.0.0";
+
+  minimalOCamlVersion = "4.07";
+
+  src = fetchFromGitHub {
+    owner = "rlepigre";
+    repo = "ocaml-${pname}";
+    rev = version;
+    hash = "sha256-058yMbz9ExvgNG/kY9tPk70XSeVRSSKVg4n4F4fmPu4=";
+  };
+
+  checkInputs = [ earley timed ];
+  doCheck = true;
+
+  meta = with lib; {
+    homepage = "https://rlepigre.github.io/ocaml-bindlib";
+    description = "Efficient binder representation in Ocaml";
+    license = licenses.gpl3;
+    changelog = "https://github.com/rlepigre/ocaml-bindlib/raw/${version}/CHANGELOG.md";
+    maintainers = with maintainers; [ bcdarwin ];
+  };
+}