git.iko.soy/Idris-dev
on c9883e6 help sign in
Idris-dev/stack.yaml
16 lines 185 B history raw
1resolver: lts-7.10
3packages:
4 - location: .
6flags:
7 idris:
8 FFI: true
9 GMP: true
11extra-deps:
12 - libffi-0.1
13 - safe-0.3.9
14nix:
15 enable: false
16 shell-file: stack-shell.nix