smcdel-1.3.0: dependencies

Dependencies for smcdel-1.3.0

library	array (>=0.5.4 && <0.6) base (>=4.8 && <5) containers (>=0.6.7 && <0.7) decision-diagrams (>=0.2.0 && <0.3) directory (>=1.3.7 && <1.4) filepath (>=1.4.2 && <1.5) graphviz (>=2999.20.2 && <2999.21) HasCacBDD (>=0.2.0.0 && <0.3) process (>=1.6.18 && <1.7) QuickCheck (>=2.14.3 && <2.15) tagged (>=0.8.0 && <0.9) temporary (>=1.3 && <1.4) text (>=2.0.2 && <2.1) time (>=1.12.2 && <1.13) if flag(with-cudd) cudd (==0.1.0.0)
smcdel	if flag(cli) ansi-terminal (>=0.11.5 && <1.2) base (>=4.8 && <5) directory (>=1.3.7 && <1.4) filepath (>=1.4.2 && <1.5) process (>=1.6.18 && <1.7) smcdel else buildable: False
smcdel-web	if flag(web) base (>=4.8 && <5) deepseq file-embed HasCacBDD (>=0.2.0.0 && <0.3) js-jquery (>=3) scotty (>=0.11.0 && <0.20) smcdel template-haskell text warp else buildable: False

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