git.iko.soy/Idris-dev
on 44fb18f help sign in
Idris-dev/stack.yaml
17 lines 187 B history raw
1resolver: lts-6.9
3packages:
4 - location: .
6flags:
7 idris:
8 FFI: true
9 GMP: true
11extra-deps:
12 - libffi-0.1
13 - trifecta-1.6
15nix:
16 enable: false
17 shell-file: stack-shell.nix