Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: ntha (user goal)
rejecting: ntha-0.1.3, ntha-0.1.1 (constraint from user target requires
==0.1.0)
trying: ntha-0.1.0
next goal: z3 (dependency of ntha-0.1.0)
rejecting: z3-4.1.0, z3-4.0.0, z3-0.3.2, z3-0.3.1, z3-0.3.0, z3-0.2.0,
z3-0.1.1 (conflict: ntha => z3>=4.4.1)
Dependency tree exhaustively searched.