exe:dedukti

Dependencies

• Stream lib:Stream >=0.3
• base lib:base >=4 && <5
• bytestring lib:bytestring >=0.9.1.0
• containers lib:containers >=0.2
• directory lib:directory >=0
• filepath lib:filepath >=0
• haskell-src-exts lib:haskell-src-exts >=1.1.0
• hmk lib:hmk >=0.9
• mtl lib:mtl >=1.1
• parsec lib:parsec >=3.0.0
• process lib:process >=0
• text lib:text >=0.3
• wl-pprint lib:wl-pprint >=1.0

Reverse dependencies

None.