From 88e1a9cc07ad315ddf787f400504ef903de06db9 Mon Sep 17 00:00:00 2001 From: Mason Hock Date: Fri, 6 Sep 2019 15:13:16 -0700 Subject: [PATCH] remove make-ghc-8.4.3 --- helpers/make-ghc-8.4.3 | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 helpers/make-ghc-8.4.3 diff --git a/helpers/make-ghc-8.4.3 b/helpers/make-ghc-8.4.3 deleted file mode 100644 index bcd9487..0000000 --- a/helpers/make-ghc-8.4.3 +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/sh -# -# Copyright (C) 2015 fr33domlover -# -# This program is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see . - -VERSION=1 -EXTERNAL='deb-src http://ppa.launchpad.net/hvr/ghc/ubuntu $UPSTREAM main' -REPOKEY=FF3AEACEF6F88286 - -. ./config - -changelog "Bring recent GHC from PPA" - -compile