@@ -5,13 +5,13 @@ sudo: false
7 - env: ARGS="--stack-yaml stack-ghc-7.10.3.yaml"
7 - env: ARGS="--stack-yaml stack-ghc-7.10.3.yaml"
8− addons: {apt: {packages: [libgmp-dev]}}
8+ addons: {apt: {packages: [libgmp-dev]}}
9 - env: ARGS="--stack-yaml stack-ghc-8.2.2.yaml"
9 - env: ARGS="--stack-yaml stack-ghc-8.2.2.yaml"
10− addons: {apt: {packages: [libgmp-dev]}}
10+ addons: {apt: {packages: [libgmp-dev]}}
11 - env: ARGS="--stack-yaml stack-ghc-8.4.4.yaml"
11 - env: ARGS="--stack-yaml stack-ghc-8.4.4.yaml"
12− addons: {apt: {packages: [libgmp-dev]}}
12+ addons: {apt: {packages: [libgmp-dev]}}
13 - env: ARGS="--stack-yaml stack-nightly.yaml --resolver nightly"
13 - env: ARGS="--stack-yaml stack-nightly.yaml --resolver nightly"
14− addons: {apt: {packages: [libgmp-dev]}}
14+ addons: {apt: {packages: [libgmp-dev]}}
17 directories:
17 directories: