ocamlPackages.cooltt: unstable-2021-05-25 → unstable-2022-04-28

authored by

Vincent Laporte and committed by
Vincent Laporte
ff74ad6d a1e9a866

+59 -8
+59 -8
pkgs/development/ocaml-modules/cooltt/default.nix
··· 1 { lib 2 , fetchFromGitHub 3 , buildDunePackage 4 - , cmdliner 5 , menhir 6 , menhirLib 7 , ppx_deriving 8 , ppxlib 9 , uuseg 10 , uutf 11 }: 12 13 buildDunePackage { 14 pname = "cooltt"; 15 - version = "unstable-2021-05-25"; 16 17 - minimumOCamlVersion = "4.10"; 18 - 19 - useDune2 = true; 20 21 src = fetchFromGitHub { 22 owner = "RedPRL"; 23 repo = "cooltt"; 24 - rev = "8ac06cbf7e05417d777f3ac6a471fe3576249f79"; 25 - sha256 = "sha256-JBLNJaRuP/gwlg8RS3cpOpzxChOVKfmFulf5HKhhHh4="; 26 }; 27 28 nativeBuildInputs = [ 29 - cmdliner 30 menhir 31 ppxlib 32 ]; 33 34 propagatedBuildInputs = [ 35 menhirLib 36 ppx_deriving 37 uuseg 38 uutf 39 ]; 40 41 meta = with lib; {
··· 1 { lib 2 , fetchFromGitHub 3 + , fetchurl 4 , buildDunePackage 5 + , bwd 6 + , cmdliner_1_1 7 + , containers 8 + , ezjsonm 9 , menhir 10 , menhirLib 11 , ppx_deriving 12 , ppxlib 13 , uuseg 14 , uutf 15 + , yuujinchou 16 }: 17 18 + let 19 + bantorra = buildDunePackage rec { 20 + pname = "bantorra"; 21 + version = "unstable-2022-04-20"; 22 + src = fetchFromGitHub { 23 + owner = "RedPRL"; 24 + repo = "bantorra"; 25 + rev = "1e78633d9a2ef7104552a24585bb8bea36d4117b"; 26 + sha256 = "sha256:15v1cggm7awp11iwl3lzpaar91jzivhdxggp5mr48gd28kfipzk2"; 27 + }; 28 + 29 + propagatedBuildInputs = [ ezjsonm ]; 30 + 31 + meta = { 32 + description = "Extensible Library Management and Path Resolution"; 33 + homepage = "https://github.com/RedPRL/bantorra"; 34 + license = lib.licenses.asl20; 35 + }; 36 + }; 37 + kado = buildDunePackage rec { 38 + pname = "kado"; 39 + version = "unstable-2022-04-30"; 40 + src = fetchFromGitHub { 41 + owner = "RedPRL"; 42 + repo = "kado"; 43 + rev = "8dce50e7d759d482b82565090e550d3860d64729"; 44 + sha256 = "sha256:1xb754fha4s0bgjfqjxzqljvalmkfdwdn5y4ycsp51wiah235bsy"; 45 + }; 46 + 47 + propagatedBuildInputs = [ bwd ]; 48 + 49 + doCheck = true; 50 + 51 + meta = { 52 + description = "Cofibrations in Cartecian Cubical Type Theory"; 53 + homepage = "https://github.com/RedPRL/kado"; 54 + license = lib.licenses.asl20; 55 + }; 56 + }; 57 + in 58 + 59 buildDunePackage { 60 pname = "cooltt"; 61 + version = "unstable-2022-04-28"; 62 63 + minimalOCamlVersion = "4.13"; 64 65 src = fetchFromGitHub { 66 owner = "RedPRL"; 67 repo = "cooltt"; 68 + rev = "88511e10cb9e17286f585882dee334f3d8ace47c"; 69 + sha256 = "sha256:1n9bh86r2n9s3mm7ayfzwjbnjqcphpsf8yqnf4whd3yi930sqisw"; 70 }; 71 72 nativeBuildInputs = [ 73 + cmdliner_1_1 74 menhir 75 ppxlib 76 ]; 77 78 + buildInputs = [ containers ]; 79 + 80 propagatedBuildInputs = [ 81 + bantorra 82 + bwd 83 + ezjsonm 84 + kado 85 menhirLib 86 ppx_deriving 87 uuseg 88 uutf 89 + yuujinchou 90 ]; 91 92 meta = with lib; {