@@ -7,7 +7,7 @@
77# wget -O - https://raw.github.com/fpco/stackage/master/debian-bootstrap.sh | bash -ex
88
99# NOTE: Requires that GHC and Cabal are installed and on your PATH. For
10−# instructions, see:
10+# instructions,see:
1111# http://www.stackage.org/install
1212
1313set -exu
@@ -20,6 +20,10 @@ apt-get install -y software-properties-common
2020
2121add-apt-repository ppa:hvr/ghc -y
2222add-apt-repository -y ppa:marutter/rrutter
23+apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
24+add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy main'
25+add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-apache24-compat main'
26+add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-libjpeg62-compat main'
2327
2428GHCVER=8.0.2
2529