git.iko.soy/Idris-dev
on da61891 help sign in
Idris-dev/stack.yaml
16 lines 246 B history raw
1resolver: lts-4.2
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
14nix:
15 enable: false
16 shell-file: stack-shell.nix