From e31fabe2a33ee24838e9c89aa9ac9c3d417082d0 Mon Sep 17 00:00:00 2001
From: Will Dietz <w@wdtz.org>
Date: Sun, 21 Apr 2019 11:34:45 -0500
Subject: [PATCH] teeworlds: 0.7.2 -> 0.7.3

---
 pkgs/games/teeworlds/default.nix | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/pkgs/games/teeworlds/default.nix b/pkgs/games/teeworlds/default.nix
index 846054765e0..0b87d752a83 100644
--- a/pkgs/games/teeworlds/default.nix
+++ b/pkgs/games/teeworlds/default.nix
@@ -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 = ''