From cee32973520011f54c3e43f7b3760d410e10851f Mon Sep 17 00:00:00 2001
From: Markus Kohlhase <mail@markus-kohlhase.de>
Date: Sun, 5 Apr 2015 11:57:16 +0000
Subject: [PATCH] nixpkgs: zdfmediathk: include the version within the name

---
 pkgs/applications/video/zdfmediathk/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/applications/video/zdfmediathk/default.nix b/pkgs/applications/video/zdfmediathk/default.nix
index 74a203dc919c..063420751823 100644
--- a/pkgs/applications/video/zdfmediathk/default.nix
+++ b/pkgs/applications/video/zdfmediathk/default.nix
@@ -5,7 +5,7 @@ with stdenv;
 mkDerivation rec {
 
   version = "9";
-  name = "zdfmediathk";
+  name = "zdfmediathk-${version}";
   src = fetchurl {
     url = "http://downloads.sourceforge.net/project/zdfmediathk/Mediathek/Mediathek%209/MediathekView_${version}.zip";
     sha256 = "1wff0igr33z9p1mjw7yvb6658smdwnp22dv8klz0y8qg116wx7a4";