nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-22 03:53:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.cooltt: 2022-04-28 → 2023-10-03

Browse Source
This commit is contained in:
Vincent Laporte 2023-10-26 08:01:07 +02:00
parent 7b4f9b740e
commit 5257cb0a75
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 14 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
pkgs/development/ocaml-modules/cooltt/default.nix
View File

@ -2,6 +2,7 @@
, fetchFromGitHub
, fetchurl
, buildDunePackage
, bos
, bwd
, cmdliner
, containers
@ -16,22 +17,21 @@
, yuujinchou
, ounit2
, qcheck
, qcheck-core
}:
let
bantorra = buildDunePackage rec {
pname = "bantorra";
version = "unstable-2022-04-20";
version = "unstable-2022-05-08";
src = fetchFromGitHub {
owner = "RedPRL";
repo = "bantorra";
rev = "1e78633d9a2ef7104552a24585bb8bea36d4117b";
sha256 = "sha256:15v1cggm7awp11iwl3lzpaar91jzivhdxggp5mr48gd28kfipzk2";
rev = "d05c34295727dd06d0ac4416dc2e258732e8593d";
hash = "sha256-s6lUTs3VRl6YhLAn3PO4aniANhFp8ytoTsFAgcOlee4=";
};
duneVersion = "3";
propagatedBuildInputs = [ ezjsonm findlib ];
propagatedBuildInputs = [ bos ezjsonm findlib ];
meta = {
description = "Extensible Library Management and Path Resolution";
@ -41,19 +41,18 @@ let
};
kado = buildDunePackage rec {
pname = "kado";
version = "unstable-2022-04-30";
version = "unstable-2023-10-03";
src = fetchFromGitHub {
owner = "RedPRL";
repo = "kado";
rev = "8dce50e7d759d482b82565090e550d3860d64729";
sha256 = "sha256:1xb754fha4s0bgjfqjxzqljvalmkfdwdn5y4ycsp51wiah235bsy";
rev = "6b2e9ba2095e294e6e0fc6febc280d80c5799c2b";
hash = "sha256-fP6Ade3mJeyOMjuDIvrW88m6E3jfb2z3L8ufgloz4Tc=";
};
duneVersion = "3";
propagatedBuildInputs = [ bwd ];
doCheck = true;
checkInputs = [ qcheck-core ];
meta = {
description = "Cofibrations in Cartecian Cubical Type Theory";
@ -65,16 +64,15 @@ in
buildDunePackage {
pname = "cooltt";
version = "unstable-2022-04-28";
version = "unstable-2023-10-03";
minimalOCamlVersion = "4.13";
duneVersion = "3";
minimalOCamlVersion = "5.0";
src = fetchFromGitHub {
owner = "RedPRL";
repo = "cooltt";
rev = "88511e10cb9e17286f585882dee334f3d8ace47c";
sha256 = "sha256:1n9bh86r2n9s3mm7ayfzwjbnjqcphpsf8yqnf4whd3yi930sqisw";
rev = "a5eaf4db195b5166a7102d47d42724f59cf3de19";
hash = "sha256-48bEf59rtPRrCRjab7+GxppjfR2c87HjQ+uKY2Bag0I=";
};
nativeBuildInputs = [