git.iko.soy/Idris-dev
on master help sign in
Idris-dev/stack-15.3.yaml
17 lines 273 B history raw
1#recheck extra-deps next on resolver or cabal file change
2resolver: lts-15.3
4extra-deps:
5- cheapskate-0.1.1.2
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