···

       
8
       
8
       
 
       
}:

     

       
9
       
9
       
 
       


     

       
10
       
10
       
 
       
let

     

       
11
       
11
       
-
       
  date = "2016-08-01";

     

       
11
       
11
       
+
       
  date = "2017-09-10";

     

       
12
       
12
       
 
       
in

     

       
13
       
13
       
 
       
build-idris-package {

     

       
14
       
14
       
 
       
  name = "lightyear-${date}";

     
···

       
16
       
16
       
 
       
  src = fetchFromGitHub {

     

       
17
       
17
       
 
       
    owner = "ziman";

     

       
18
       
18
       
 
       
    repo = "lightyear";

     

       
19
       
19
       
-
       
    rev = "9420f9e892e23a7016dea1a61d8ce43a6d4ecf15";

     

       
20
       
20
       
-
       
    sha256 = "0xbjwq7sk4x78mi2zcqxbx7wziijlr1ayxihb1vml33lqmsgl1dn";

     

       
19
       
19
       
+
       
    rev = "f737e25a09c1fe7c5fff063c53bd7458be232cc8";

     

       
20
       
20
       
+
       
    sha256 = "05x66abhpbdm6yr0afbwfk6w04ysdk78gylj5alhgwhy4jqakv29";

     

       
21
       
21
       
 
       
  };

     

       
22
       
22
       
 
       


     

       
23
       
23
       
 
       
  propagatedBuildInputs = [ prelude base effects ];