Merge pull request #3974 from MarcelineVQ/stack-9
change extra-deps for idris 1.1.0 lts-9.0 resolver
commit0838a920ea0c2747923da9600c0c02b9c5f1717b
authorNiklas Larsson <metaniklas@gmail.com>
dateSat 5 Aug 2017, 00:50 (9 years ago)
parentb95196f0e118dd
stack.yaml+3−1
@@ -1,3 +1,4 @@
1+#recheck extra-deps next on resolver or cabal file change
12resolver: lts-9.0
23
34packages:
@@ -9,7 +10,8 @@ flags:
910 GMP: true
1011
1112extra-deps:
12− - libffi-0.1
13+ - binary-0.8.5.1
14+ - cheapskate-0.1.1
1315
1416nix:
1517 enable: false