git.iko.soy/Idris-dev
on 1f1155c help sign in
Idris-dev/stack.yaml
18 lines 253 B history raw
1#recheck extra-deps next on resolver or cabal file change
2resolver: lts-9.0
4packages:
5 - location: .
7flags:
8 idris:
9 FFI: true
10 GMP: true
12extra-deps:
13 - binary-0.8.5.1
14 - cheapskate-0.1.1
16nix:
17 enable: false
18 shell-file: stack-shell.nix