Merge pull request #60089 from dtzWill/update/teeworlds-0.7.3.1

teeworlds: 0.7.3 -> 0.7.3.1
This commit is contained in:
Elis Hirwing 2019-04-23 15:30:50 +02:00 committed by GitHub
commit d6db31a720
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,13 +4,13 @@
stdenv.mkDerivation rec {
pname = "teeworlds";
version = "0.7.3";
version = "0.7.3.1";
src = fetchFromGitHub {
owner = "teeworlds";
repo = "teeworlds";
rev = version;
sha256 = "1pg5js5f0mfi38zq9zrcw7gvz39b38sk8n2pccxbp8nmbw21zpwl";
sha256 = "05qj6gdw167pan1gwq82ffz03nmlhhzrv1sslpfm8w81nq4b5c72";
};
postPatch = ''