change extra-deps for idris 1.1.0 lts-9.0 resolver
stack.yaml extra-deps changed as resolver lts-9.0 doesn't have
the recently required versions of libs in the idris.cabal file.
note added to stack.yaml to re-examine extra-deps on resolver
or cabal file change.
note should probably be in the cabal file but I'm not sure where it
would be seen
commit0e118dda98981dd9b9d8fe3d8bed44cfe6cc2316
authorMarcelineVQ <marcythevq@gmail.com>
dateFri 4 Aug 2017, 07:39 (9 years ago)
parent9d69b47
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