git.iko.soy/Idris-dev
on f07ebbf help sign in
Idris-dev/stack.yaml
19 lines 283 B history raw
1#recheck extra-deps next on resolver or cabal file change
2resolver: lts-11.14
4packages:
5 - location: .
7extra-deps: []
9flags:
10 idris:
11 FFI: true
12 GMP: true
14ghc-options:
15 idris: -fwarn-unused-imports -fwarn-unused-binds
17nix:
18 enable: false
19 shell-file: stack-shell.nix