exe:dedukti

Dependencies

• Stream lib:Stream >=0.3 && <0.3.2
• 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
• haskell-src-exts-qq lib:haskell-src-exts-qq >=0.4
• hmk lib:hmk >=0.9.7
• mtl lib:mtl >=1.1
• parsec lib:parsec >=3.1.0
• process lib:process >=0
• stringtable-atom lib:stringtable-atom >=0.0.6
• wl-pprint lib:wl-pprint >=1.0

Reverse dependencies

None.