@@ -10,9 +10,6 @@
10# instructions, see:
10# instructions, see:
11# http://www.stackage.org/install
11# http://www.stackage.org/install
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
16apt-get update
13apt-get update
17apt-get install -y \
14apt-get install -y \
18 build-essential \
15 build-essential \
@@ -21,7 +18,6 @@ apt-get install -y \
23 texlive-full \
20 texlive-full \
25 libgmp3-dev \
21 libgmp3-dev \
26 zlib1g-dev \
22 zlib1g-dev \
27 libedit2 \
23 libedit2 \