git.iko.soy/Idris-dev
on dff4fcd help sign in
Idris-dev/stack.yaml
15 lines 227 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- libffi-0.1
13nix:
14 enable: false
15 shell-file: stack-shell.nix