git.iko.soy/Idris-dev
on d080dbb help sign in
Idris-dev/stack.yaml
17 lines 276 B history raw
1#recheck extra-deps next on resolver or cabal file change
2resolver: nightly-2017-11-25
4packages:
5 - location: .
7flags:
8 idris:
9 FFI: true
10 GMP: true
12ghc-options:
13 idris: -fwarn-unused-imports -fwarn-unused-binds
15nix:
16 enable: false
17 shell-file: stack-shell.nix