Agda-2.6.1: stack-8.4.4.yaml

resolver: lts-12.26

extra-deps:
- regex-base-0.94.0.0
- regex-tdfa-1.3.1.0
- cpphs-1.20.9