···

       
2
       
 
       


     

       
3
       
 
       
stdenv.mkDerivation rec {

     

       
4
       
 
       
  name = "gnome-shell-extension-topicons-plus-${version}";

     

       
5
       
-
       
  version = "20";

     

       
6
       
 
       


     

       
7
       
 
       
  src = fetchFromGitHub {

     

       
8
       
 
       
    owner = "phocean";

     

       
9
       
 
       
    repo = "TopIcons-plus";

     

       
10
       
-
       
    rev = "01535328bd43ecb3f2c71376de6fc8d1d8a88577";

     

       
11
       
-
       
    sha256 = "0pwpg72ihgj2jl9pg63y0hibdsl27srr3mab881w0gh17vwyixzi";

     

       
12
       
 
       
  };

     

       
13
       
 
       


     

       
14
       
 
       
  buildInputs = [ glib ];

     

···

       
2
       
 
       


     

       
3
       
 
       
stdenv.mkDerivation rec {

     

       
4
       
 
       
  name = "gnome-shell-extension-topicons-plus-${version}";

     

       
5
       
+
       
  version = "21";

     

       
6
       
 
       


     

       
7
       
 
       
  src = fetchFromGitHub {

     

       
8
       
 
       
    owner = "phocean";

     

       
9
       
 
       
    repo = "TopIcons-plus";

     

       
10
       
+
       
    rev = "v${version}";

     

       
11
       
+
       
    sha256 = "15p61krd7lcmgr1d4s2ydfjy3pyq79pq5100xzy6dln1538901m3";

     

       
12
       
 
       
  };

     

       
13
       
 
       


     

       
14
       
 
       
  buildInputs = [ glib ];