Commit 0cdbd6c8 authored by K900's avatar K900
Browse files

haskellPackages.agda2hs: remove outdated warning

parent f75ba3ac

pkgs/development/haskell-modules/configuration-common.nix

+0 −2
Original line number Diff line number Diff line
@@ -3224,9 +3224,7 @@ with haskellLib; 
    doJailbreak

  ];



  # agda2hs 1.3 is not compatible with Agda 2.8.0

  agda2hs = lib.pipe super.agda2hs [

    (warnAfterVersion "1.3")

    (overrideSrc rec {

      version = "1.4";

      src = pkgs.fetchFromGitHub {