../ 50ghc-mod-gentoo.el 22-Oct-2015 21:32 75 ghc-mod-5.4.0.0-gentoo.patch 22-Oct-2015 21:32 449 ghc-mod-5.5.0.0-gentoo.patch 16-Apr-2016 09:30 449 ghc-mod-5.6.0.0-gentoo.patch 16-Feb-2017 10:21 210