ntha-0.1.0: dependencies

Dependencies for ntha-0.1.0

library	array base (>=4.7 && <5) containers monad-loops pretty z3 (>=4.4.1) z3-encoding
ntha	base containers haskeline lens mtl ntha