crucible-0.7: dependencies

Dependencies for crucible-0.7

library	base (>=4.13 && <4.19) bimap bv-sized (>=1.0.0 && <1.1) containers (>=0.5.9.0) exceptions fgl hashable json (>=0.9 && <1.0) lens mtl panic (>=0.3) parameterized-utils (>=1.0.8 && <2.2) prettyprinter (>=1.7.0) template-haskell text th-abstraction (>=0.1 && <0.6) time (>=1.8 && <2.0) transformers unordered-containers vector what4 (>=0.4)

Automatic Flags

Name	Description	Default
unsafe-operations	Use unsafe operations to improve performance	Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info