Agda-2.6.0: stack-8.4.4.yaml

resolver: lts-12.26

# Local packages, usually specified by relative directory name
packages:
- '.'
- 'src/fix-agda-whitespace'
- 'src/size-solver'