@@ -7,6 +7,7 @@
77# wget -O - https://raw.github.com/fpco/stackage/master/debian-bootstrap.sh | bash -ex
88
99sudo add-apt-repository ppa:chris-lea/zeromq
10+sudo add-apt-repository ppa:floe/libtisch
1011sudo apt-get update
1112sudo apt-get install -y build-essential libncurses-dev git libgmp3c2 libgmp3-dev zlib1g-dev libedit2 libedit-dev freeglut3-dev libglu1-mesa-dev libglib2.0-dev libcairo2-dev libpango1.0-dev libgtk2.0-dev zip libdevil-dev llvm libbz2-dev libjudy-dev libmysqlclient-dev libpq-dev libicu-dev libssl-dev nettle-dev libgsl0-dev libblas-dev liblapack-dev \
1213 libcurl4-openssl-dev \