forked from mirrors/nixpkgs
coqPackages.smtcoq: disable for Coq > 8.13
This commit is contained in:
parent
e9d3fe8f28
commit
f393892bb3
|
@ -9,8 +9,8 @@ mkCoqDerivation {
|
|||
release."itp22".sha256 = "sha256-CdPfgDfeJy8Q6ZlQeVCSR/x8ZlJ2kSEF6F5UnAespnQ=";
|
||||
|
||||
inherit version;
|
||||
defaultVersion = with versions; switch [ coq.version mathcomp.version ] [
|
||||
{ cases = [ (isGe "8.13") ]; out = "itp22"; }
|
||||
defaultVersion = with versions; switch coq.version [
|
||||
{ case = isEq "8.13"; out = "itp22"; }
|
||||
] null;
|
||||
|
||||
propagatedBuildInputs = [ trakt cvc4 ] ++ lib.optionals (!stdenv.isDarwin) [ veriT ];
|
||||
|
|
Loading…
Reference in a new issue