@@ -4,17 +4,14 @@ sudo: false
7− - env: ARGS="--stack-yaml stack-ghc-7.8.4.yaml"
8− addons: {apt: {packages: [libgmp-dev]}}
10 - env: ARGS="--stack-yaml stack-ghc-7.10.3.yaml"
7 - env: ARGS="--stack-yaml stack-ghc-7.10.3.yaml"
11 addons: {apt: {packages: [libgmp-dev]}}
8 addons: {apt: {packages: [libgmp-dev]}}
13 - env: ARGS="--stack-yaml stack-ghc-8.0.2.yaml"
10 - env: ARGS="--stack-yaml stack-ghc-8.0.2.yaml"
14 addons: {apt: {packages: [libgmp-dev]}}
11 addons: {apt: {packages: [libgmp-dev]}}
16−# - env: ARGS=
13+ - env: ARGS=
17−# addons: {apt: {packages: [libgmp-dev]}}
14+ addons: {apt: {packages: [libgmp-dev]}}
20 directories:
17 directories: