@@ -5,13 +5,13 @@ sudo: false
55matrix:
66 include:
77 - env: ARGS="--stack-yaml stack-ghc-7.10.3.yaml"
8− addons: {apt: {packages: [libgmp-dev]}}
8+ addons: {apt: {packages: [libgmp-dev]}}
99 - env: ARGS="--stack-yaml stack-ghc-8.2.2.yaml"
10− addons: {apt: {packages: [libgmp-dev]}}
10+ addons: {apt: {packages: [libgmp-dev]}}
1111 - env: ARGS="--stack-yaml stack-ghc-8.4.4.yaml"
12− addons: {apt: {packages: [libgmp-dev]}}
12+ addons: {apt: {packages: [libgmp-dev]}}
1313 - env: ARGS="--stack-yaml stack-nightly.yaml --resolver nightly"
14− addons: {apt: {packages: [libgmp-dev]}}
14+ addons: {apt: {packages: [libgmp-dev]}}
1515
1616cache:
1717 directories: