@@ -27,15 +27,12 @@ stack setup --resolver ghc-$GHCVER
27apt-get update
27apt-get update
28apt-get install -y software-properties-common
28apt-get install -y software-properties-common
30−add-apt-repository ppa:hvr/ghc -y
31add-apt-repository -y ppa:marutter/rrutter
30add-apt-repository -y ppa:marutter/rrutter
32apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
31apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
33add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy main'
32add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy main'
34add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-apache24-compat main'
33add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-apache24-compat main'
35add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-libjpeg62-compat main'
34add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-libjpeg62-compat main'
39apt-get update
36apt-get update
40apt-get install -y \
37apt-get install -y \
41 apt-transport-https \
38 apt-transport-https \
@@ -47,10 +44,6 @@ apt-get install -y \
52− ghc-$GHCVER-htmldocs \