packages:
- '.'
resolver: lts-17.12
extra-deps:
- copilot-3.3
- copilot-c99-3.3
- copilot-core-3.3
- copilot-language-3.3
- copilot-libraries-3.3
- copilot-theorem-3.3
- ansi-terminal-0.9.1
- bimap-0.3.3
- bv-sized-1.0.2
- language-c99-0.1.2
- language-c99-simple-0.1.2
- language-c99-util-0.1.1
- libBF-0.6.2
- panic-0.4.0.1
- parameterized-utils-2.1.3.0
- what4-1.1
- bitwise-1.0.0.1
- config-value-0.8.1
- zenc-0.1.1
explicit-setup-deps: