resolver: lts-12.0 # Local packages, usually specified by relative directory name packages: - '.' - 'src/fix-agda-whitespace' - 'src/size-solver' extra-deps: - temporary-1.2.1.1
