resolver: lts-5.5

packages:
  - '.'

flags:
  idris:
    FFI: true
    GMP: true

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