git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3017 from jfdm/update-stack-resolver
aa062fcNiklas Larsson
stack.yaml+10−11
compare with master
unifiedsplit
@@ -1,14 +1,13 @@
1−resolver: lts-4.2
1+resolver: lts-5.5
2+
2packages:
3packages:
3−- '.'
4+ - '.'
5+
4flags:
6flags:
5− idris:
7+ idris:
6− FFI: true
8+ FFI: true
7− GMP: True
9+ GMP: true
8−extra-deps:
10+
9−- annotated-wl-pprint-0.7.0
10−- cheapskate-0.1.0.4
11−- libffi-0.1
12nix:
11nix:
13− enable: false
12+ enable: false
14− shell-file: stack-shell.nix
13+ shell-file: stack-shell.nix