Agda-2.5.2: stack-8.0.1.yaml

resolver: lts-7.13

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