diff options
author | Trent Small <sixstring982@gmail.com> | 2024-01-25 14:50:06 -0700 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-01-26 07:10:40 +0100 |
commit | 3f97f7afedcd2dc83056a2693f8e25c0c9e9890f (patch) | |
tree | b9301035160f81b3504e5e541d591b715d684afb /pkgs/development/ocaml-modules | |
parent | aa7e5cc700e39771f9a9c8802794e5af4ea1d498 (diff) |
ocamlPackages.type_eq: init at 0.0.1
Diffstat (limited to 'pkgs/development/ocaml-modules')
-rw-r--r-- | pkgs/development/ocaml-modules/type_eq/default.nix | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/type_eq/default.nix b/pkgs/development/ocaml-modules/type_eq/default.nix new file mode 100644 index 0000000000000..388d8ac431c25 --- /dev/null +++ b/pkgs/development/ocaml-modules/type_eq/default.nix @@ -0,0 +1,32 @@ +{ lib +, buildDunePackage +, fetchurl +, alcotest +}: + +buildDunePackage rec { + pname = "type_eq"; + version = "0.0.1"; + + minimalOCamlVersion = "4.08.1"; + + src = fetchurl { + url = "https://github.com/skolemlabs/type_eq/releases/download/${version}/${pname}-${version}.tbz"; + hash = "sha256-eFVZJJfU6hfb8vKNXOZLZ1cHcsDdzFUerbh2RZBt0Zk="; + }; + + checkInputs = [ + alcotest + ]; + + doCheck = true; + + meta = { + description = "Type equality proofs for OCaml 4"; + homepage = "https://github.com/skolemlabs/type_eq"; + changelog = "https://github.com/skolemlabs/type_eq/blob/${version}/CHANGES.md"; + license = lib.licenses.mit; + maintainers = with lib.maintainers; [ sixstring982 ]; + }; +} + |