dedukti-1.1.4: dependencies

Dependencies for dedukti-1.1.4

library	time (>=1.1) unix (>=2.3)
dedukti	base (>=4 && <5) bytestring (>=0.9.1.0) containers (>=0.2) directory filepath haskell-src-exts (>=1.1.0) haskell-src-exts-qq (>=0.4) hmk (>=0.9.7) mtl (>=1.1) parsec (>=3.1.0) process Stream (>=0.3 && <0.3.2) stringtable-atom (>=0.0.6) wl-pprint (>=1.0)
dedukti-tests	if !flag(test) buildable: False else directory filepath process test-framework (>=0.2 && <0.3)

Automatic Flags

Name	Description	Default
test	Compile test harness (requires test-framework).	Disabled

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