git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3974 from MarcelineVQ/stack-9
0838a92Niklas Larsson
stack.yaml+3−1
compare with master
unifiedsplit
@@ -1,3 +1,4 @@
1+#recheck extra-deps next on resolver or cabal file change
1resolver: lts-9.0
2resolver: lts-9.0
2
3
3packages:
4packages:
@@ -9,7 +10,8 @@ flags:
9 GMP: true
10 GMP: true
10
11
11extra-deps:
12extra-deps:
12− - libffi-0.1
13+ - binary-0.8.5.1
14+ - cheapskate-0.1.1
13
15
14nix:
16nix:
15 enable: false
17 enable: false