coqPackages.stdpp: 1.2.1 → 1.4.0

coqPackages.iris: 3.2.0 → 3.3.0
This commit is contained in:
Vincent Laporte 2020-08-09 07:30:55 +02:00 committed by Vincent Laporte
parent b00845938f
commit a379617057
2 changed files with 6 additions and 6 deletions

View File

@ -1,14 +1,14 @@
{ stdenv, fetchFromGitLab, coq, stdpp }:
stdenv.mkDerivation rec {
version = "3.2.0";
version = "3.3.0";
name = "coq${coq.coq-version}-iris-${version}";
src = fetchFromGitLab {
domain = "gitlab.mpi-sws.org";
owner = "iris";
repo = "iris";
rev = "iris-${version}";
sha256 = "10dfi7qx6j5w6kbmbrf05xh18jwxr9iz5g7y0f6157msgvl081xs";
sha256 = "0az4gkp5m8sq0p73dlh0r7ckkzhk7zkg5bndw01bdsy5ywj0vilp";
};
buildInputs = [ coq ];
@ -27,7 +27,7 @@ stdenv.mkDerivation rec {
};
passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.7" "8.8" "8.9" "8.10" ];
compatibleCoqVersions = v: builtins.elem v [ "8.9" "8.10" "8.11" "8.12" ];
};
}

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
name = "coq${coq.coq-version}-stdpp-${version}";
version = "1.2.1";
version = "1.4.0";
src = fetchFromGitLab {
domain = "gitlab.mpi-sws.org";
owner = "iris";
repo = "stdpp";
rev = "coq-stdpp-${version}";
sha256 = "1lczybg1jq9drbi8nzrlb0k199x4n07aawjwfzrl3qqc0w8kmvdz";
sha256 = "1m6c7ibwc99jd4cv14v3r327spnfvdf3x2mnq51f9rz99rffk68r";
};
buildInputs = [ coq ];
@ -26,7 +26,7 @@ stdenv.mkDerivation rec {
};
passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.7" "8.8" "8.9" "8.10" ];
compatibleCoqVersions = v: builtins.elem v [ "8.8" "8.9" "8.10" "8.11" "8.12" ];
};
}