packages:
- '.'
resolver: lts-22.11
extra-deps:
- sketch-frp-copilot-1.0.10
- copilot-3.18.1
- copilot-c99-3.18.1
- copilot-core-3.18.1
- copilot-language-3.18.1
- copilot-libraries-3.18.1
- copilot-theorem-3.18.1
- copilot-interpreter-3.18.1
- copilot-prettyprinter-3.18.1
- language-c99-0.2.0
- language-c99-simple-0.3.0
- language-c99-util-0.2.0
- bv-sized-1.0.5
- panic-0.4.0.1
- parameterized-utils-2.1.8.0
- what4-1.5.1
- bitwise-1.0.0.1
- config-value-0.8.3
- s-cargot-0.1.6.0
- zenc-0.1.2