From 5356fd904fe47cc4054afa9523ebe3fa3ab7e7ad Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Mon, 11 Jun 2018 10:50:19 -0400
Subject: [PATCH] ghc backport updated to v8.4.3
---
helpers/{make-ghc-7.8.3 => make-ghc-8.4.3} | 2 --
1 file changed, 2 deletions(-)
rename helpers/{make-ghc-7.8.3 => make-ghc-8.4.3} (95%)
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 1d302b21..bcd9487f 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
--
GitLab