File: stack-8.0.2.yaml

package info (click to toggle)
agda 2.6.1-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 9,880 kB
  • sloc: haskell: 91,965; lisp: 3,545; yacc: 2,048; javascript: 1,059; perl: 15; makefile: 14
file content (14 lines) | stat: -rw-r--r-- 247 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
resolver: lts-9.21

extra-deps:
- async-2.2.1
- regex-base-0.94.0.0
- regex-tdfa-1.3.1.0
- text-1.2.3.1
- cpphs-1.20.9

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