Agda-2.5.4.1: stack-8.4.3.yaml

resolver: lts-12.0

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