idris-0.10.1: stack.yaml

resolver: lts-4.2
packages:
- '.'
flags:
   idris:
     FFI: true
     GMP: True
     curses: True
extra-deps: 
- annotated-wl-pprint-0.7.0
- cheapskate-0.1.0.4
- hscurses-1.4.2.0
- libffi-0.1
nix:
   enable: false
   shell-file: stack-shell.nix