packages:
- '.'
- '../..'
resolver: lts-18.9
extra-deps: 
- sketch-frp-copilot-1.0.2
- copilot-3.9
- copilot-c99-3.9
- copilot-core-3.9
- copilot-language-3.9
- copilot-libraries-3.9
- copilot-theorem-3.9
- ansi-terminal-0.9.1
- bimap-0.3.3
- language-c99-0.1.2
- language-c99-simple-0.1.2
- language-c99-util-0.1.1
- optparse-applicative-0.15.1.0
- panic-0.4.0.1
- parameterized-utils-2.1.3.0
- random-1.1
- what4-1.1
- bitwise-1.0.0.1
- config-value-0.8.1
- versions-4.0.3
- zenc-0.1.2
- bv-sized-1.0.2