From fa709922f3b49bf0c7985129fda8222166a99edf Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Mon, 27 Jan 2020 10:24:30 +0100 Subject: [PATCH] coqPackages.tlc: disable for Coq > 8.10 --- pkgs/development/coq-modules/tlc/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/tlc/default.nix b/pkgs/development/coq-modules/tlc/default.nix index 119261f412b..8a10dc388db 100644 --- a/pkgs/development/coq-modules/tlc/default.nix +++ b/pkgs/development/coq-modules/tlc/default.nix @@ -22,6 +22,6 @@ stdenv.mkDerivation rec { }; passthru = { - compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.6"; + compatibleCoqVersions = stdenv.lib.flip builtins.elem [ "8.6" "8.7" "8.8" "8.9" "8.10" ]; }; }