resolver: lts-18.28 compiler: ghc-8.10.7 compiler-check: newer-minor packages: - source - testing # `testing` depends on more recent `HTF` extra-deps: - HTF-0.15.0.0