git.iko.soy/Idris-dev
on a20cb92 help sign in
Idris-dev/stack.yaml
22 lines 331 B history raw
1#recheck extra-deps next on resolver or cabal file change
2resolver: lts-11.14
4packages:
5 - location: .
7extra-deps:
8 - megaparsec-7.0.4
9 - parser-combinators-1.0.0
12flags:
13 idris:
14 FFI: true
15 GMP: true
17ghc-options:
18 idris: -fwarn-unused-imports -fwarn-unused-binds
20nix:
21 enable: false
22 shell-file: stack-shell.nix