copilot-verifier-3.19: dependencies

Dependencies for copilot-verifier-3.19

library	aeson (>=1.5 && <2.3) base (>=4.8 && <4.18) bv-sized (>=1.0.0 && <1.1) bytestring containers (>=0.5.9.0) copilot (>=3.19 && <3.20) copilot-c99 (>=3.19 && <3.20) copilot-core (>=3.19 && <3.20) copilot-language (>=3.19 && <3.20) copilot-libraries (>=3.19 && <3.20) copilot-prettyprinter (>=3.19 && <3.20) copilot-theorem (>=3.19 && <3.20) crucible (>=0.7 && <0.8) crucible-llvm (>=0.6 && <0.7) crux (>=0.7 && <0.8) crux-llvm (>=0.8 && <0.9) filepath lens llvm-pretty mtl panic (>=0.3) parameterized-utils (>=2.1.4 && <2.2) prettyprinter (>=1.7.0) text transformers vector what4 (>=0.4)
copilot-verifier-examples	aeson (>=1.5 && <2.3) base (>=4.8 && <4.18) bv-sized (>=1.0.0 && <1.1) bytestring case-insensitive containers (>=0.5.9.0) copilot (>=3.19 && <3.20) copilot-c99 (>=3.19 && <3.20) copilot-core (>=3.19 && <3.20) copilot-language (>=3.19 && <3.20) copilot-libraries (>=3.19 && <3.20) copilot-prettyprinter (>=3.19 && <3.20) copilot-theorem (>=3.19 && <3.20) copilot-verifier crucible (>=0.7 && <0.8) crucible-llvm (>=0.6 && <0.7) crux (>=0.7 && <0.8) crux-llvm (>=0.8 && <0.9) filepath lens llvm-pretty mtl panic (>=0.3) parameterized-utils (>=2.1.4 && <2.2) prettyprinter (>=1.7.0) text transformers vector what4 (>=0.4)
verify-examples	aeson (>=1.5 && <2.3) base (>=4.8 && <4.18) bv-sized (>=1.0.0 && <1.1) bytestring case-insensitive containers (>=0.5.9.0) copilot (>=3.19 && <3.20) copilot-c99 (>=3.19 && <3.20) copilot-core (>=3.19 && <3.20) copilot-language (>=3.19 && <3.20) copilot-libraries (>=3.19 && <3.20) copilot-prettyprinter (>=3.19 && <3.20) copilot-theorem (>=3.19 && <3.20) copilot-verifier crucible (>=0.7 && <0.8) crucible-llvm (>=0.6 && <0.7) crux (>=0.7 && <0.8) crux-llvm (>=0.8 && <0.9) filepath lens llvm-pretty mtl optparse-applicative panic (>=0.3) parameterized-utils (>=2.1.4 && <2.2) prettyprinter (>=1.7.0) text transformers vector what4 (>=0.4)