···23stdenv.mkDerivation rec {
4 pname = "bluej";
5- version = "5.0.1";
6 src = fetchurl {
7 # We use the deb here. First instinct might be to go for the "generic" JAR
8 # download, but that is actually a graphical installer that is much harder
9 # to unpack than the deb.
10 url = "https://www.bluej.org/download/files/BlueJ-linux-${builtins.replaceStrings ["."] [""] version}.deb";
11- sha256 = "sha256-KhNhJ2xsw1g2yemwP6NQmJvk4cxZAQQNPEUBuLso5qM=";
12 };
1314 nativeBuildInputs = [ makeWrapper ];
···23stdenv.mkDerivation rec {
4 pname = "bluej";
5+ version = "5.0.2";
6 src = fetchurl {
7 # We use the deb here. First instinct might be to go for the "generic" JAR
8 # download, but that is actually a graphical installer that is much harder
9 # to unpack than the deb.
10 url = "https://www.bluej.org/download/files/BlueJ-linux-${builtins.replaceStrings ["."] [""] version}.deb";
11+ sha256 = "sha256-9sWfVQF/wCiVDKBmesMpM+5BHjFUPszm6U1SgJNQ8lE=";
12 };
1314 nativeBuildInputs = [ makeWrapper ];