git.iko.soy/Idris-dev
on 8e4bfd9 help sign in
Idris-dev/stack.yaml
13 lines 202 B history raw
1resolver: lts-3.16
2packages:
3- '.'
4flags:
5 # idris:
6 # FFI: true
7 # GMP: True
8 # curses: True
9extra-deps:
10- annotated-wl-pprint-0.7.0
11- cheapskate-0.1.0.4
12# - hscurses-1.4.2.0
13# - libffi-0.1