Agda-2.5.4.2: stack-8.4.4.yaml

resolver: lts-12.16

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