Merge pull request #72968 from fgaz/shattered-pixel-dungeon/0.7.5f

shattered-pixel-dungeon: 0.7.5e -> 0.7.5f
This commit is contained in:
Aaron Andersen
2019-11-10 08:02:34 -05:00
committed by GitHub
@@ -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 = ''