git.iko.soy/Idris-dev
on 4c19d46 help sign in
Idris-dev/stack.yaml
21 lines 318 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
12ghc-options:
13 idris: -fwarn-unused-imports -fwarn-unused-binds
15extra-deps:
16 - binary-0.8.5.1
17 - cheapskate-0.1.1
19nix:
20 enable: false
21 shell-file: stack-shell.nix