packages:
- '.'
- '../..'
resolver: lts-20.6
extra-deps: 
- sketch-frp-copilot-1.0.8
- copilot-3.14
- copilot-c99-3.14
- copilot-core-3.14
- copilot-language-3.14
- copilot-libraries-3.14
- copilot-theorem-3.14
- copilot-interpreter-3.14
- copilot-prettyprinter-3.14
- bv-sized-1.0.4
- language-c99-0.2.0
- language-c99-simple-0.2.2
- panic-0.4.0.1
- parameterized-utils-2.1.6.0
- what4-1.3
- bitwise-1.0.0.1
- config-value-0.8.3
- language-c99-util-0.2.0
- zenc-0.1.2