diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-05-26 17:35:56 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-06-02 09:18:29 +0200 |
commit | 550533171d4010181ed6b0124b037e4b7e8e20ae (patch) | |
tree | 8f1c1b56d2e6546983f6321e6ffb0361ca0007b3 /pkgs/development/coq-modules/InfSeqExt/default.nix | |
parent | a69f9e5a69c5a46c9c60d1bd4f7f671bb5cacba4 (diff) | |
download | nixpkgs-550533171d4010181ed6b0124b037e4b7e8e20ae.tar nixpkgs-550533171d4010181ed6b0124b037e4b7e8e20ae.tar.gz nixpkgs-550533171d4010181ed6b0124b037e4b7e8e20ae.tar.bz2 nixpkgs-550533171d4010181ed6b0124b037e4b7e8e20ae.tar.lz nixpkgs-550533171d4010181ed6b0124b037e4b7e8e20ae.tar.xz nixpkgs-550533171d4010181ed6b0124b037e4b7e8e20ae.tar.zst nixpkgs-550533171d4010181ed6b0124b037e4b7e8e20ae.zip |
coqPackages.InfSeqExt: 20180918 → 20200131
Diffstat (limited to 'pkgs/development/coq-modules/InfSeqExt/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/InfSeqExt/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/coq-modules/InfSeqExt/default.nix b/pkgs/development/coq-modules/InfSeqExt/default.nix index ced2b7ce3db..e97b4499901 100644 --- a/pkgs/development/coq-modules/InfSeqExt/default.nix +++ b/pkgs/development/coq-modules/InfSeqExt/default.nix @@ -2,9 +2,9 @@ let param = { - version = "20180918"; - rev = "243d6be45666da73a9da6c37d451327165275798"; - sha256 = "1nh2psb4pcppy1akk24ilb4p08m35cba357i4xyymmarmbwqpxmn"; + version = "20200131"; + rev = "203d4c20211d6b17741f1fdca46dbc091f5e961a"; + sha256 = "0xylkdmb2dqnnqinf3pigz4mf4zmczcbpjnn59g5g76m7f2cqxl0"; }; in @@ -26,6 +26,6 @@ stdenv.mkDerivation { installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ]; passthru = { - compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" ]; + compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" "8.10" "8.11" ]; }; } |