···

       
5
       
5
       
 
       
  name = "pithos-${version}";

     

       
6
       
6
       
 
       
  version = "1.1.1";

     

       
7
       
7
       
 
       


     

       
8
       
8
       
+
       
  namePrefix = "";

     

       
9
       
9
       
+
       


     

       
8
       
10
       
 
       
  src = fetchFromGitHub {

     

       
9
       
11
       
 
       
    owner = "pithos";

     

       
10
       
12
       
 
       
    repo  = "pithos";