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