@@ -1,6 +1,13 @@
1−flags: {}
1+resolver: lts-3.16
22packages:
33- '.'
4+flags:
5+ # idris:
6+ # FFI: true
7+ # GMP: True
8+ # curses: True
49extra-deps:
10+- annotated-wl-pprint-0.7.0
511- cheapskate-0.1.0.4
6−resolver: nightly-2015-07-24
12+# - hscurses-1.4.2.0
13+# - libffi-0.1