diff options
author | fortuneteller2k <lythe1107@gmail.com> | 2021-05-27 20:10:11 +0800 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-06-06 06:30:03 +0200 |
commit | 4a34590eced7ec7aadf4a64105d7a88125919738 (patch) | |
tree | 287f35c6f9d966d6aec082d153d4999f47a4e326 /pkgs/development/ocaml-modules/cooltt | |
parent | 4df31757808eeebe5761bdc80481d0c0a473b4cf (diff) | |
download | nixpkgs-4a34590eced7ec7aadf4a64105d7a88125919738.tar nixpkgs-4a34590eced7ec7aadf4a64105d7a88125919738.tar.gz nixpkgs-4a34590eced7ec7aadf4a64105d7a88125919738.tar.bz2 nixpkgs-4a34590eced7ec7aadf4a64105d7a88125919738.tar.lz nixpkgs-4a34590eced7ec7aadf4a64105d7a88125919738.tar.xz nixpkgs-4a34590eced7ec7aadf4a64105d7a88125919738.tar.zst nixpkgs-4a34590eced7ec7aadf4a64105d7a88125919738.zip |
ocamlPackages.cooltt: init at unstable-2021-05-25
Diffstat (limited to 'pkgs/development/ocaml-modules/cooltt')
-rw-r--r-- | pkgs/development/ocaml-modules/cooltt/default.nix | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/cooltt/default.nix b/pkgs/development/ocaml-modules/cooltt/default.nix new file mode 100644 index 00000000000..2ece4543c2a --- /dev/null +++ b/pkgs/development/ocaml-modules/cooltt/default.nix @@ -0,0 +1,47 @@ +{ lib +, fetchFromGitHub +, buildDunePackage +, cmdliner +, menhir +, menhirLib +, ppx_deriving +, ppxlib +, uuseg +, uutf +}: + +buildDunePackage { + pname = "cooltt"; + version = "unstable-2021-05-25"; + + minimumOCamlVersion = "4.10"; + + useDune2 = true; + + src = fetchFromGitHub { + owner = "RedPRL"; + repo = "cooltt"; + rev = "8ac06cbf7e05417d777f3ac6a471fe3576249f79"; + sha256 = "sha256-JBLNJaRuP/gwlg8RS3cpOpzxChOVKfmFulf5HKhhHh4="; + }; + + nativeBuildInputs = [ + cmdliner + menhir + ppxlib + ]; + + propagatedBuildInputs = [ + menhirLib + ppx_deriving + uuseg + uutf + ]; + + meta = with lib; { + homepage = "https://github.com/RedPRL/cooltt"; + description = "A cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory"; + license = licenses.asl20; + maintainers = with maintainers; [ fortuneteller2k ]; + }; +} |