Resolving dependencies...
cabal: Could not resolve dependencies:
trying: hol-1.2 (user goal)
trying: base-4.9.1.0/installed-4.9... (dependency of hol-1.2)
next goal: QuickCheck (dependency of hol-1.2)
rejecting: QuickCheck-2.10.0.1, QuickCheck-2.10, QuickCheck-2.9.2,
QuickCheck-2.9.1, QuickCheck-2.9, QuickCheck-2.8.2, QuickCheck-2.8.1,
QuickCheck-2.8, QuickCheck-2.7.6, QuickCheck-2.7.5, QuickCheck-2.7.4,
QuickCheck-2.7.3, QuickCheck-2.7.2, QuickCheck-2.7.1, QuickCheck-2.7,
QuickCheck-2.6, QuickCheck-2.5.1.1, QuickCheck-2.5.1, QuickCheck-2.5
(conflict: hol => QuickCheck>=2.4 && <2.5)
rejecting: QuickCheck-2.4.2 (conflict: base==4.9.1.0/installed-4.9...,
QuickCheck => base>=4 && <4.8 || >=3 && <4 || <3)
rejecting: QuickCheck-2.4.1.1, QuickCheck-2.4.1, QuickCheck-2.4.0.1,
QuickCheck-2.4 (conflict: base==4.9.1.0/installed-4.9..., QuickCheck =>
base>=4 && <4.5 || >=3 && <4 || <3)
rejecting: QuickCheck-2.3.0.2, QuickCheck-2.3.0.1, QuickCheck-2.3,
QuickCheck-2.2, QuickCheck-2.1.2, QuickCheck-2.1.1.1, QuickCheck-2.1.1,
QuickCheck-2.1.0.3, QuickCheck-2.1.0.2, QuickCheck-2.1.0.1, QuickCheck-2.1,
QuickCheck-1.2.0.1, QuickCheck-1.2.0.0, QuickCheck-1.1.0.0, QuickCheck-1.0
(conflict: hol => QuickCheck>=2.4 && <2.5)
Dependency tree exhaustively searched.