Merge pull request #59971 from dtzWill/update/teeworlds-0.7.3

teeworlds: 0.7.2 -> 0.7.3
This commit is contained in:
Will Dietz 2019-04-21 18:24:00 -05:00 committed by GitHub
commit f0beeee4fb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,13 +3,14 @@
}:
stdenv.mkDerivation rec {
name = "teeworlds-0.7.2";
pname = "teeworlds";
version = "0.7.3";
src = fetchFromGitHub {
owner = "teeworlds";
repo = "teeworlds";
rev = "0.7.2";
sha256 = "15l988qcsqgb6rjais0qd5sd2rjanm2708jmzvkariqzz0d6pb93";
rev = version;
sha256 = "1pg5js5f0mfi38zq9zrcw7gvz39b38sk8n2pccxbp8nmbw21zpwl";
};
postPatch = ''