Charlotte Van Petegem 2023-12-01 19:10:48 +01:00
parent 786100e12d
commit 6ecbda288b
No known key found for this signature in database
GPG key ID: 019E764B7184435A

View file

@ -2,14 +2,14 @@
stdenv.mkDerivation rec {
pname = "greenfoot";
version = "3.8.1";
version = "3.8.2";
src = fetchurl {
# We use the deb here. First instinct might be to go for the "generic" JAR
# download, but that is actually a graphical installer that is much harder
# to unpack than the deb.
url = "https://www.greenfoot.org/download/files/Greenfoot-linux-${builtins.replaceStrings ["."] [""] version}.deb";
sha256 = "sha256-utGSAbP74O1t1iEoN0CwiZVc8HxdCxhozPPMwQCtkEE=";
hash = "sha256-wpmgWtx2jTDjt+7p6HcjU/uy1PRmnAHpJ1rOYb+hV+U=";
};
nativeBuildInputs = [ dpkg wrapGAppsHook ];