Agda-2.5.3: stack-8.0.2.yaml

resolver: lts-9.1

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