diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-08-30 12:36:30 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-09-06 11:51:34 +0000 |
commit | 5b3dc48f19f06f0fadab501ca10e37a512c134b5 (patch) | |
tree | dee91c347a7a8c3f0b1f662fe076f19ac0ddee97 /pkgs/development/coq-modules/stdpp | |
parent | 79303d40650c52e32f8a8b5ff2e21e0a08a96926 (diff) | |
download | nixlib-5b3dc48f19f06f0fadab501ca10e37a512c134b5.tar nixlib-5b3dc48f19f06f0fadab501ca10e37a512c134b5.tar.gz nixlib-5b3dc48f19f06f0fadab501ca10e37a512c134b5.tar.bz2 nixlib-5b3dc48f19f06f0fadab501ca10e37a512c134b5.tar.lz nixlib-5b3dc48f19f06f0fadab501ca10e37a512c134b5.tar.xz nixlib-5b3dc48f19f06f0fadab501ca10e37a512c134b5.tar.zst nixlib-5b3dc48f19f06f0fadab501ca10e37a512c134b5.zip |
coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0
Ensures compatibility with Coq ≥ 8.9
Diffstat (limited to 'pkgs/development/coq-modules/stdpp')
-rw-r--r-- | pkgs/development/coq-modules/stdpp/default.nix | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/pkgs/development/coq-modules/stdpp/default.nix b/pkgs/development/coq-modules/stdpp/default.nix index 883ed971b083..3ba99e87ffb6 100644 --- a/pkgs/development/coq-modules/stdpp/default.nix +++ b/pkgs/development/coq-modules/stdpp/default.nix @@ -1,10 +1,14 @@ -{ stdenv, fetchzip, coq }: +{ stdenv, fetchFromGitLab, coq }: -stdenv.mkDerivation { - name = "coq${coq.coq-version}-stdpp-1.1"; - src = fetchzip { - url = "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/-/archive/coq-stdpp-1.1.0/coq-stdpp-coq-stdpp-1.1.0.tar.gz"; - sha256 = "0z8zl288x9w32w06sjax01jcpy12wd5i3ygps58dl2hfy7r3lwg0"; +stdenv.mkDerivation rec { + name = "coq${coq.coq-version}-stdpp-${version}"; + version = "1.2.1"; + src = fetchFromGitLab { + domain = "gitlab.mpi-sws.org"; + owner = "iris"; + repo = "stdpp"; + rev = "coq-stdpp-${version}"; + sha256 = "1lczybg1jq9drbi8nzrlb0k199x4n07aawjwfzrl3qqc0w8kmvdz"; }; buildInputs = [ coq ]; @@ -14,7 +18,7 @@ stdenv.mkDerivation { installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ]; meta = { - homepage = "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp"; + inherit (src.meta) homepage; description = "An extended “Standard Library” for Coq"; inherit (coq.meta) platforms; license = stdenv.lib.licenses.bsd3; @@ -22,7 +26,7 @@ stdenv.mkDerivation { }; passthru = { - compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" ]; + compatibleCoqVersions = v: builtins.elem v [ "8.7" "8.8" "8.9" "8.10" ]; }; } |