haskellPackages.Agda: update comment to be able to track upstream
commit9d41622c981ea5963732b1647f496f5ef43f092b
authorDennis Gosnell <cdep.illabout@gmail.com>
dateMon 28 Dec 2020, 09:33 (6 years ago)
parent20a63c4
pkgs/development/haskell-modules/configuration-ghc-8.10.x.nix+1
@@ -100,6 +100,7 @@ self: super: {
100100 stylish-haskell = doJailbreak super.stylish-haskell;
101101
102102 # Agda 2.6.1.2 only declares a transformers dependency for ghc < 8.10.3.
103+ # https://github.com/agda/agda/issues/5109
103104 Agda = appendPatch super.Agda (pkgs.fetchpatch {
104105 url = "https://github.com/agda/agda/commit/76278c23d447b49f59fac581ca4ac605792aabbc.patch";
105106 sha256 = "1g34g8a09j73h89pk4cdmri0nb0qg664hkff45amcr9kyz14a9f3";