packages:
- '.'
resolver: lts-13.29
extra-deps:
- copilot-3.1
- copilot-c99-3.1
- copilot-core-3.1
- copilot-language-3.1
- copilot-libraries-3.1
- copilot-theorem-3.1
- language-c99-0.1.2
- language-c99-simple-0.1.2
- language-c99-util-0.1.1
explicit-setup-deps: