stack.yaml

packages:
- '.'
- '../..'
resolver: lts-22.11
extra-deps: 
- sketch-frp-copilot-1.0.11
- copilot-4.3
- copilot-c99-4.3
- copilot-core-4.3
- copilot-language-4.3
- copilot-libraries-4.3
- copilot-theorem-4.3
- copilot-interpreter-4.3
- copilot-prettyprinter-4.3
- 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