@@ -16,9 +16,8 @@ services:
20− - GHCVER=7.10
19+ - GHCVER=7.10 STACK_ARGS=""
21− - GHCVER=8.0
20+ - GHCVER=8.0 STACK_ARGS=""
@@ -31,6 +30,7 @@ before_install:
31 - sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
30 - sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
32 - sudo apt-get update
31 - sudo apt-get update
33 - sudo apt-get -qqy -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" install docker-engine=1.12.3-0~trusty
32 - sudo apt-get -qqy -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" install docker-engine=1.12.3-0~trusty
35 - mkdir -p "$HOME"/.local/bin
35 - mkdir -p "$HOME"/.local/bin
36 - export PATH=$HOME/.local/bin:$PATH
36 - export PATH=$HOME/.local/bin:$PATH