The latest version of dedukti is 1.1.4-0.
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.