Agda-2.6.2: stack-8.8.4.yaml
resolver: lts-16.31 compiler: ghc-8.8.4 compiler-check: match-exact extra-deps: - random-1.2.0 - splitmix-0.1.0.3 - text-icu-0.7.1.0
resolver: lts-16.31 compiler: ghc-8.8.4 compiler-check: match-exact extra-deps: - random-1.2.0 - splitmix-0.1.0.3 - text-icu-0.7.1.0