dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

ocamlPackages.type_eq: init at 0.0.1

Browse Source
This commit is contained in:
Trent Small 2024-01-25 14:50:06 -07:00 committed by Vincent Laporte
parent aa7e5cc700
commit 3f97f7afed
2 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
pkgs/development/ocaml-modules/type_eq/default.nix Normal file
View File

@ -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 ];
};
}

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

@ -1799,6 +1799,8 @@ let
twt = callPackage ../development/ocaml-modules/twt { };
type_eq = callPackage ../development/ocaml-modules/type_eq { };
tyxml = callPackage ../development/ocaml-modules/tyxml { };
tyxml-lwd = callPackage ../development/ocaml-modules/lwd/tyxml-lwd.nix { };