···

       
8
       
8
       
 
       


     

       
9
       
9
       
 
       
mkDerivation rec {

     

       
10
       
10
       
 
       
  pname = "standard-library";

     

       
11
       
11
       
-
       
  version = "2.1.1";

     

       
11
       
11
       
+
       
  version = "2.2";

     

       
12
       
12
       
 
       


     

       
13
       
13
       
 
       
  src = fetchFromGitHub {

     

       
14
       
14
       
 
       
    repo = "agda-stdlib";

     

       
15
       
15
       
 
       
    owner = "agda";

     

       
16
       
16
       
 
       
    rev = "v${version}";

     

       
17
       
17
       
-
       
    hash = "sha256-4HfwNAkIhk1yC/oSxZ30xilzUM5/22nzbUSqTjcW5Ng=";

     

       
17
       
17
       
+
       
    hash = "sha256-/Fy5EOSbVNXt6Jq0yKSnlNPW4SYfn+eCTAYFnMZrbR0=";

     

       
18
       
18
       
 
       
  };

     

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
  nativeBuildInputs = [ (ghcWithPackages (self: [ self.filemanip ])) ];