Agda-2.6.3.1: stack-8.8.4.yaml

resolver: lts-16.31
compiler: ghc-8.8.4
compiler-check: match-exact

# Local packages specified by relative directory name.
packages:
  - '.'


extra-deps:
- QuickCheck-2.14.2
- primitive-0.7.4.0
- random-1.2.0
- splitmix-0.1.0.3
- strict-0.4.0.1
- text-icu-0.8.0.2
- vector-hashtables-0.1.1.1