@@ -10,9 +10,6 @@
1010# instructions, see:
1111# http://www.stackage.org/install
1212
13−add-apt-repository -y ppa:chris-lea/zeromq
14−add-apt-repository -y ppa:floe/libtisch
15−add-apt-repository -y ppa:zoogie/sdl2-snapshots
1613apt-get update
1714apt-get install -y \
1815 build-essential \
@@ -21,7 +18,6 @@ apt-get install -y \
2118 wget \
2219 m4 \
2320 texlive-full \
24− libgmp3c2 \
2521 libgmp3-dev \
2622 zlib1g-dev \
2723 libedit2 \