CSPM-FiringRules-0.4.2.0: dependencies

Dependencies for CSPM-FiringRules-0.4.2.0

library	base (>=4.0 && <5.0) containers (>=0.5 && <0.6) CSPM-CoreLanguage (>=0.3 && <0.4) mtl (>=2.1 && <2.2) parallel-tree-search (>=0.4 && <0.5) tree-monad (>=0.3 && <0.4) if flag(quickcheck) QuickCheck (>=2.6 && <2.7) random (>=1.0 && <1.1)

Automatic Flags

Name	Description	Default
quickcheck	enable QuickCheck tests	Enabled

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