stack-15.12.yaml

#recheck extra-deps next on resolver or cabal file change
resolver: lts-15.12

extra-deps:
- cheapskate-0.1.1.2
- haskeline-0.8.0.0@sha256:0630452b759a5b40e0e3e7ca2ef4b0d55d5161d95e8d7b0dd3cf55888971437f,5440

flags:
  idris:
    FFI: true
    GMP: true

ghc-options:
  idris: -fwarn-unused-imports -fwarn-unused-binds

nix:
  enable: false
  shell-file: stack-shell.nix