idris-1.3.1: stack.yaml

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

packages:
  - location: .

extra-deps: []

flags:
  idris:
    FFI: true
    GMP: true

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

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