git.iko.soy/Idris-dev
on master help sign in
Idris-dev/stack-11.22.yaml
21 lines 354 B history raw
1#recheck extra-deps next on resolver or cabal file change
2resolver: lts-11.22
4extra-deps:
5- cheapskate-0.1.1.2
6- megaparsec-7.0.5
7- Cabal-2.4.1.0
8- network-3.1.1.1
9- parser-combinators-1.0.0
11flags:
12 idris:
13 FFI: true
14 GMP: true
16ghc-options:
17 idris: -fwarn-unused-imports -fwarn-unused-binds
19nix:
20 enable: false
21 shell-file: stack-shell.nix