Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: AERN-Real (user goal)
rejecting: AERN-Real-2011.1.0.1 (global constraint requires ==2011.1)
trying: AERN-Real-2011.1
next goal: AERN-Basics (dependency of AERN-Real-2011.1)
rejecting: AERN-Basics-2011.1.0.1 (conflict: AERN-Real => AERN-Basics==2011.1)
trying: AERN-Basics-2011.1
trying: directory-1.2.2.0/installed-258... (dependency of AERN-Basics-2011.1)
trying: unix-2.7.1.0/installed-643... (dependency of
directory-1.2.2.0/installed-258...)
next goal: bytestring (dependency of unix-2.7.1.0/installed-643...)
rejecting: bytestring-0.10.6.0/installed-236... (conflict: bytestring =>
deepseq==1.4.1.1/installed-8fb..., AERN-Basics => deepseq>=1.1.0.0 && <1.2)
rejecting: bytestring-0.10.6.0, 0.10.4.1, 0.10.4.0, 0.10.2.0, 0.10.0.2,
0.10.0.1, 0.10.0.0, 0.9.2.1, 0.9.2.0, 0.9.1.10, 0.9.1.9, 0.9.1.8, 0.9.1.7,
0.9.1.6, 0.9.1.5, 0.9.1.4, 0.9.1.3, 0.9.1.2, 0.9.1.1, 0.9.1.0, 0.9.0.4,
0.9.0.3, 0.9.0.2, 0.9.0.1, 0.9 (conflict: unix =>
bytestring==0.10.6.0/installed-236...)
Dependency tree exhaustively searched.