git.iko.soy/Idris-dev
on master help sign in
change extra-deps for idris 1.1.0 lts-9.0 resolver
0e118ddMarcelineVQ
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