crux-llvm-0.8: dependencies

Dependencies for crux-llvm-0.8

library	aeson base (>=4.8 && <4.19) bv-sized bytestring config-schema (>=1.2.2.0) containers crucible crucible-llvm crucible-symio crux directory filepath lens llvm-pretty llvm-pretty-bc-parser logict mtl parameterized-utils prettyprinter (>=1.7.0) process text what4
crux-llvm	base (>=4.8 && <4.19) bytestring containers crucible crucible-llvm crucible-symio crux crux-llvm directory filepath lens process text what4 if !os(windows) unix
crux-llvm-for-ide	aeson base (>=4.8 && <4.19) bytestring containers crucible crucible-llvm crucible-symio crux crux-llvm directory filepath lens lumberjack process text websockets (>=0.12) what4 if !os(windows) unix
crux-llvm-svcomp	aeson attoparsec base (>=4.8 && <4.19) base16-bytestring bytestring containers crucible crucible-llvm crucible-symio crux crux-llvm cryptohash-sha256 directory extra filepath indexed-traversable lens process text time what4