@@ -27,15 +27,12 @@ stack setup --resolver ghc-$GHCVER
2727apt-get update
2828apt-get install -y software-properties-common
2929
30−add-apt-repository ppa:hvr/ghc -y
3130add-apt-repository -y ppa:marutter/rrutter
3231apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
3332add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy main'
3433add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-apache24-compat main'
3534add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-libjpeg62-compat main'
3635
37−GHCVER=8.6.4
38−
3936apt-get update
4037apt-get install -y \
4138 apt-transport-https \
@@ -47,10 +44,6 @@ apt-get install -y \
4744 fsharp \
4845 g++ \
4946 gawk \
50− ghc-$GHCVER \
51− ghc-$GHCVER-dyn \
52− ghc-$GHCVER-htmldocs \
53− ghc-$GHCVER-prof \
5447 git \
5548 gnupg \
5649 gradle \