cvc4: unpin to jdk8

2022-11-26 22:08:02 +08:00
parent 0c54a45edb
commit 4b8eb12865
1 changed files with 1 additions and 3 deletions
@@ -35807,9 +35807,7 @@ with pkgs;
    gmp = lib.overrideDerivation gmp (_: { dontDisableStatic = true; });
    stdenv = gccStdenv;
  };
-  cvc4 = callPackage ../applications/science/logic/cvc4 {
-    jdk = jdk8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
-  };
+  cvc4 = callPackage ../applications/science/logic/cvc4 { };

  cvc5 = callPackage ../applications/science/logic/cvc5 { };