Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
dedukti-1.0.2
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)