shattered-pixel-dungeon: 0.7.5e -> 0.7.5f

This commit is contained in:
Francesco Gazzetta 2019-11-07 10:50:20 +01:00
parent fa2909bf51
commit 3b45b5bf7e

View file

@ -11,13 +11,13 @@
let let
pname = "shattered-pixel-dungeon"; pname = "shattered-pixel-dungeon";
version = "0.7.5e"; version = "0.7.5f";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "00-Evan"; owner = "00-Evan";
repo = "shattered-pixel-dungeon-gdx"; repo = "shattered-pixel-dungeon-gdx";
rev = "v${version}"; rev = "v${version}";
sha256 = "1wy5qlfsq7dqvn4g0glm1v60xildv44ww3p396wmgi390c9zg18d"; sha256 = "05awbbc7np9li50shdbpv9dgdgry6lra8d5gibwn578m2g9srbxx";
}; };
postPatch = '' postPatch = ''