resolver: lts-12.26

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