idris-0.12.2: stack.yaml

resolver: lts-6.9

packages:
  - location: .

flags:
  idris:
    FFI: true
    GMP: true

extra-deps:
  - libffi-0.1
  - trifecta-1.6

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