Merge pull request #184010 from r-ryantm/auto-update/greenfoot

greenfoot: 3.7.0 -> 3.7.1
This commit is contained in:
Ryan Mulligan 2022-07-30 11:19:53 -07:00 committed by GitHub
commit 53caeb378d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "greenfoot"; pname = "greenfoot";
version = "3.7.0"; version = "3.7.1";
src = fetchurl { src = fetchurl {
# We use the deb here. First instinct might be to go for the "generic" JAR # 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 # download, but that is actually a graphical installer that is much harder
# to unpack than the deb. # to unpack than the deb.
url = "https://www.greenfoot.org/download/files/Greenfoot-linux-${builtins.replaceStrings ["."] [""] version}.deb"; url = "https://www.greenfoot.org/download/files/Greenfoot-linux-${builtins.replaceStrings ["."] [""] version}.deb";
sha256 = "sha256-K9faU3ZarcR4g8riHpoZYVH0sXtueqfm3Fo+sZAHJA8="; sha256 = "sha256-wGgKDsA/2luw+Nzs9dWb/HRHMx/0S0CFfoI53OCzxug=";
}; };
nativeBuildInputs = [ makeWrapper ]; nativeBuildInputs = [ makeWrapper ];