From dc30d9367a6461352cee9fc0d46f696d69707442 Mon Sep 17 00:00:00 2001
From: Will Dietz <w@wdtz.org>
Date: Mon, 1 Oct 2018 15:26:34 -0500
Subject: tetra-gtk-theme: no pname per reviewer feedback

Somehow I thought i'd pushed this already,
sorry for that @timokau!
---
 pkgs/misc/themes/tetra/default.nix | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/pkgs/misc/themes/tetra/default.nix b/pkgs/misc/themes/tetra/default.nix
index 079cf19440bb..bcaf67d79706 100644
--- a/pkgs/misc/themes/tetra/default.nix
+++ b/pkgs/misc/themes/tetra/default.nix
@@ -1,16 +1,12 @@
 { stdenv, fetchFromGitHub, gtk3, sassc }:
 
-let
-  pname = "tetra-gtk-theme";
-in
-
 stdenv.mkDerivation rec {
-  name = "${pname}-${version}";
+  name = "tetra-gtk-theme-${version}";
   version = "0.1.6";
 
   src = fetchFromGitHub {
     owner  = "hrdwrrsk";
-    repo   = pname;
+    repo   = "tetra-gtk-theme";
     rev    = version;
     sha256 = "0jdgj7ac9842cgrjnzdqlf1f3hlf9v7xk377pvqcz2lwcr1dfaxz";
   };
-- 
cgit 1.4.1