haskellPackages.idris: Fix build (new GHC 8.8 & old megaparsec 7)#84131
Merged
cdepillabout merged 1 commit intoNixOS:haskell-updatesfrom Apr 4, 2020
Merged
haskellPackages.idris: Fix build (new GHC 8.8 & old megaparsec 7)#84131cdepillabout merged 1 commit intoNixOS:haskell-updatesfrom
cdepillabout merged 1 commit intoNixOS:haskell-updatesfrom
