idris-1.1.1: stack.yaml

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

packages:
  - location: .

flags:
  idris:
    FFI: true
    GMP: true

extra-deps:
  - binary-0.8.5.1
  - cheapskate-0.1.1

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