diff --git a/helpers/make-ghc-7.8.3 b/helpers/make-ghc-8.4.3 similarity index 95% rename from helpers/make-ghc-7.8.3 rename to helpers/make-ghc-8.4.3 index 1d302b216f796f5ef39daeb82189ecb85ce8852d..bcd9487f261ab9650710a0cf5391655d0b091d1f 100644 --- a/helpers/make-ghc-7.8.3 +++ b/helpers/make-ghc-8.4.3 @@ -21,8 +21,6 @@ REPOKEY=FF3AEACEF6F88286 . ./config -sed -i 's/ghc-7\.6\.3/ghc/g' debian/control - changelog "Bring recent GHC from PPA" compile