coqPackages.gappalib: disable for Coq 8.10
This commit is contained in:
parent
2072043efb
commit
5f78fa399d
|
@ -24,7 +24,7 @@ stdenv.mkDerivation {
|
|||
};
|
||||
|
||||
passthru = {
|
||||
compatibleCoqVersions = stdenv.lib.flip stdenv.lib.versionAtLeast "8.7";
|
||||
compatibleCoqVersions = stdenv.lib.flip builtins.elem [ "8.7" "8.8" "8.9" ];
|
||||
};
|
||||
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue