resolver: lts-12.2

packages:
  - location: .
  - location:
      git: https://github.com/idris-lang/Idris-dev.git
      commit: master
    extra-dep: true
flags:
  idris:
    FFI: false
    GMP: true

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

resolver: lts-11.18

packages:
  - location: .
  - location:
      git: https://github.com/idris-lang/Idris-dev.git
      commit: master
    extra-dep: true
flags:
  idris:
    FFI: false
    GMP: true

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

Downgrade to LTS Haskell 11.18
Downgrade to LTS Haskell 11.18

12.2 uses GHC 8.4 which is built against libffi7, but that isn't
installed in Travis.
