Agda-2.6.3: stack-8.2.2.yaml

resolver: lts-11.22
compiler: ghc-8.2.2
compiler-check: match-exact

extra-deps:
- OneTuple-0.3
- StateVar-1.2.2
- aeson-1.5.6.0
- assoc-1.0.2
- async-2.2.1
- base-compat-0.12.2
- base-compat-batteries-0.12.2
- base-orphans-0.8.7
- bifunctors-5.5.13
- binary-0.8.3.0
- cpphs-1.20.9
- comonad-5.0.8
- containers-0.5.11.0
- contravariant-1.5.5
- data-fix-0.3.2
- generic-deriving-1.14.2
- indexed-traversable-0.1.2
- primitive-0.7.4.0
- random-1.2.0
- regex-base-0.94.0.0
- regex-tdfa-1.3.1.0
- splitmix-0.1.0.3
- strict-0.4.0.1
- tagged-0.8.6.1
- text-1.2.3.1
- th-abstraction-0.4.5.0
- these-1.1.1.1
- unordered-containers-0.2.19.1
- uuid-types-1.0.3
- vector-0.12.3.1
- vector-hashtables-0.1.1.1
- wcwidth-0.0.2
- text-icu-0.8.0.2

# instead of time-1.9, we add time-compat
- time-compat-1.9.5