···

       
2933
       
2933
       
 
       
  # agda2hs 1.3 is not compatible with Agda 2.8.0

     

       
2934
       
2934
       
 
       
  agda2hs = lib.pipe super.agda2hs [

     

       
2935
       
2935
       
 
       
    (warnAfterVersion "1.3")

     

       
2936
       
2936
       
-
       
    (overrideSrc {

     

       
2937
       
2937
       
-
       
      version = "1.3-unstable-2025-07-25";

     

       
2936
       
2936
       
+
       
    (overrideSrc rec {

     

       
2937
       
2937
       
+
       
      version = "1.4";

     

       
2938
       
2938
       
 
       
      src = pkgs.fetchFromGitHub {

     

       
2939
       
2939
       
 
       
        owner = "agda";

     

       
2940
       
2940
       
 
       
        repo = "agda2hs";

     

       
2941
       
2941
       
-
       
        rev = "01cc0532b522f64223782617cbde1a6f21b8880e";

     

       
2942
       
2942
       
-
       
        hash = "sha256-SXhnkZa8OmgpYRTb2IVTfebtX+GG5mkVcqKchl2Noic=";

     

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

     

       
2942
       
2942
       
+
       
        hash = "sha256-ZhemGUY6V0cplSwDAXkny+s6yQWKDDShTiUotIDhTXY=";

     

       
2943
       
2943
       
 
       
      };

     

       
2944
       
2944
       
 
       
    })

     

       
2945
       
2945
       
 
       
  ];