···

       
13
       
 
       
 }:

     

       
14
       
 
       


     

       
15
       
 
       
stdenv.mkDerivation rec {

     

       
16
       
-
       
  name = "dino-unstable-2017-04-24";

     

       
17
       
 
       


     

       
18
       
 
       
  src = fetchFromGitHub {

     

       
19
       
 
       
    owner = "dino";

     

       
20
       
 
       
    repo = "dino";

     

       
21
       
-
       
    rev = "3eb9aa0fa79ea9fcebb5f702f81c2e54aafdc8cc";

     

       
22
       
-
       
    sha256 = "0z9ql419q53f20bw4pfwsafxl4qqnz0ip91qibsf9jn5d56kcdwv";

     

       
23
       
 
       
    fetchSubmodules = true;

     

       
24
       
 
       
  };

     

       
25
       
 
       


     
···

       
35
       
 
       
    glib_networking

     

       
36
       
 
       
    glib

     

       
37
       
 
       
    gnome3.libgee

     

       
0
       
 
       

     

       
38
       
 
       
    sqlite

     

       
39
       
 
       
    gdk_pixbuf

     

       
40
       
 
       
    gtk3

     

···

       
13
       
 
       
 }:

     

       
14
       
 
       


     

       
15
       
 
       
stdenv.mkDerivation rec {

     

       
16
       
+
       
  name = "dino-unstable-2017-05-11";

     

       
17
       
 
       


     

       
18
       
 
       
  src = fetchFromGitHub {

     

       
19
       
 
       
    owner = "dino";

     

       
20
       
 
       
    repo = "dino";

     

       
21
       
+
       
    rev = "b09a056a13de131a4f2f072ffa2f795a0bb2abe7";

     

       
22
       
+
       
    sha256 = "1dis1kgaqb1925anmxlcy9n722zzyn5wvq8lmczi6h2h3j7wnnmz";

     

       
23
       
 
       
    fetchSubmodules = true;

     

       
24
       
 
       
  };

     

       
25
       
 
       


     
···

       
35
       
 
       
    glib_networking

     

       
36
       
 
       
    glib

     

       
37
       
 
       
    gnome3.libgee

     

       
38
       
+
       
    gnome3.defaultIconTheme

     

       
39
       
 
       
    sqlite

     

       
40
       
 
       
    gdk_pixbuf

     

       
41
       
 
       
    gtk3