Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: AERN-Real-Interval (user goal)
rejecting: AERN-Real-Interval-2011.1.0.1 (global constraint requires ==2011.1)
trying: AERN-Real-Interval-2011.1
trying: base-4.8.1.0/installed-4f7... (dependency of
AERN-Real-Interval-2011.1)
next goal: AERN-Real (dependency of AERN-Real-Interval-2011.1)
rejecting: AERN-Real-2011.1.0.1 (conflict: AERN-Real-Interval =>
AERN-Real==2011.1)
trying: AERN-Real-2011.1
next goal: criterion (dependency of AERN-Real-2011.1)
rejecting: criterion-1.1.0.0, 1.0.2.0, 1.0.1.0, 1.0.0.2, 1.0.0.1, 1.0.0.0,
0.8.1.0, 0.8.0.2, 0.8.0.1, 0.8.0.0, 0.6.2.1, 0.6.2.0, 0.6.1.1, 0.6.0.1,
0.6.0.0 (conflict: AERN-Real => criterion>=0.5 && <0.6)
trying: criterion-0.5.1.1
next goal: statistics (dependency of criterion-0.5.1.1)
rejecting: statistics-0.13.2.3, 0.13.2.2, 0.13.2.1, 0.13.2.0, 0.13.1.1,
0.13.1.0, 0.12.0.0, 0.11.0.3, 0.11.0.2, 0.11.0.1, 0.11.0.0, 0.10.5.2,
0.10.5.1, 0.10.5.0, 0.10.4.1, 0.10.4.0, 0.10.3.1, 0.10.3.0, 0.10.2.0,
0.10.1.0, 0.10.0.1, 0.10.0.0 (conflict: criterion => statistics>=0.8.0.6 &&
<0.10.0.0)
rejecting: statistics-0.9.0.0 (conflict: base==4.8.1.0/installed-4f7...,
statistics => base<4.8)
rejecting: statistics-0.8.0.5, 0.8.0.4, 0.8.0.3, 0.8.0.2, 0.8.0.1, 0.8.0.0,
0.7.0.0, 0.6.0.2, 0.6.0.1, 0.6.0.0, 0.5.1.2, 0.5.1.1, 0.5.1.0, 0.5.0.0, 0.4.1,
0.4.0, 0.3.6, 0.3.5, 0.3.4, 0.3.3, 0.3.2, 0.3.1, 0.3, 0.2.2, 0.2.1, 0.2, 0.1
(conflict: criterion => statistics>=0.8.0.6 && <0.10.0.0)
Dependency tree exhaustively searched.