···23stdenv.mkDerivation rec {
4 pname = "greenfoot";
5- version = "3.8.0";
67 src = fetchurl {
8 # We use the deb here. First instinct might be to go for the "generic" JAR
9 # download, but that is actually a graphical installer that is much harder
10 # to unpack than the deb.
11 url = "https://www.greenfoot.org/download/files/Greenfoot-linux-${builtins.replaceStrings ["."] [""] version}.deb";
12- sha256 = "sha256-HDXmgLHS18VZVV+hCA0RgIrKRftOlV7t+fvE0pAHGjk=";
13 };
1415 nativeBuildInputs = [ dpkg wrapGAppsHook ];
···23stdenv.mkDerivation rec {
4 pname = "greenfoot";
5+ version = "3.8.1";
67 src = fetchurl {
8 # We use the deb here. First instinct might be to go for the "generic" JAR
9 # download, but that is actually a graphical installer that is much harder
10 # to unpack than the deb.
11 url = "https://www.greenfoot.org/download/files/Greenfoot-linux-${builtins.replaceStrings ["."] [""] version}.deb";
12+ sha256 = "sha256-utGSAbP74O1t1iEoN0CwiZVc8HxdCxhozPPMwQCtkEE=";
13 };
1415 nativeBuildInputs = [ dpkg wrapGAppsHook ];