haskellPackages.Agda: update comment to be able to track upstream

This commit is contained in:
Dennis Gosnell 2020-12-28 09:33:15 +09:00 committed by Peter Simons
parent 20a63c490f
commit 9d41622c98

View file

@ -100,6 +100,7 @@ self: super: {
stylish-haskell = doJailbreak super.stylish-haskell;
# Agda 2.6.1.2 only declares a transformers dependency for ghc < 8.10.3.
# https://github.com/agda/agda/issues/5109
Agda = appendPatch super.Agda (pkgs.fetchpatch {
url = "https://github.com/agda/agda/commit/76278c23d447b49f59fac581ca4ac605792aabbc.patch";
sha256 = "1g34g8a09j73h89pk4cdmri0nb0qg664hkff45amcr9kyz14a9f3";