Agda-2.5.4: stack-8.2.2.yaml

resolver: lts-11.11

extra-deps:
- async-2.2.1

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