From 8ba71cef5d814042962b4e046d6a35c1595d2bbd Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Sun, 20 Sep 2020 11:13:56 +0200 Subject: [PATCH] mediathekview: use latest jre --- pkgs/top-level/all-packages.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index b4ceb8a0c481..befcbedf4c8c 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -21911,7 +21911,7 @@ in mediainfo-gui = callPackage ../applications/misc/mediainfo-gui { }; - mediathekview = callPackage ../applications/video/mediathekview { jre = openjdk11; }; + mediathekview = callPackage ../applications/video/mediathekview { }; meteo = callPackage ../applications/networking/weather/meteo { };