git.iko.soy/Idris-dev
on bf37049 help sign in
Idris-dev/stack.yaml
13 lines 194 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