Dependencies for dedukti-1.1.4

Libraries

dedukti

time (>=1.1)
unix (>=2.3)

Executables

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)

Flags

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