Agda-2.6.1: stack-8.2.2.yaml
resolver: lts-11.22 extra-deps: - async-2.2.1 - regex-base-0.94.0.0 - regex-tdfa-1.3.1.0 - text-1.2.3.1 - cpphs-1.20.9
resolver: lts-11.22 extra-deps: - async-2.2.1 - regex-base-0.94.0.0 - regex-tdfa-1.3.1.0 - text-1.2.3.1 - cpphs-1.20.9