git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2845 from dysinger/updated-stack-yaml
10a22ebJan de Muijnck-Hughes
stack.yaml+9−2
compare with master
unifiedsplit
@@ -1,6 +1,13 @@
1−flags: {}
1+resolver: lts-3.16
2packages:
2packages:
3- '.'
3- '.'
4+flags:
5+ # idris:
6+ # FFI: true
7+ # GMP: True
8+ # curses: True
4extra-deps:
9extra-deps:
10+- annotated-wl-pprint-0.7.0
5- cheapskate-0.1.0.4
11- cheapskate-0.1.0.4
6−resolver: nightly-2015-07-24
12+# - hscurses-1.4.2.0
13+# - libffi-0.1