dedukti-1.0.0: dependencies

Dependencies for dedukti-1.0.0

library	time (>=1.1)
dedukti	base (>=4 && <5) bytestring (>=0.9.1.0) containers (>=0.2) directory filepath haskell-src-exts (>=1.1.0) hmk (>=0.9) mtl (>=1.1) parsec (>=3.0.0) process Stream (>=0.3) text (>=0.3) wl-pprint (>=1.0)