git.iko.soy/Idris-dev
on v0.11.1 help sign in
Idris-dev/stack.yaml
16 lines 163 B history raw
1resolver: lts-5.11
3packages:
4 - '.'
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