Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: idris (user goal)
rejecting: idris-0.99, idris-0.12.3, idris-0.12.2, idris-0.12.1, idris-0.12,
idris-0.11.2, idris-0.11.1, idris-0.11, idris-0.10.3, idris-0.10.2,
idris-0.10.1, idris-0.10, idris-0.9.20.2, idris-0.9.20.1, idris-0.9.20,
idris-0.9.19.1, idris-0.9.19, idris-0.9.18.1, idris-0.9.18, idris-0.9.17.1,
idris-0.9.17, idris-0.9.16, idris-0.9.15.1, idris-0.9.15, idris-0.9.14.3,
idris-0.9.14.2, idris-0.9.14.1, idris-0.9.14, idris-0.9.13.1, idris-0.9.13,
idris-0.9.12, idris-0.9.11.2, idris-0.9.11.1, idris-0.9.11, idris-0.9.10.1
(constraint from user target requires ==0.9.10)
trying: idris-0.9.10
trying: deepseq-1.4.2.0/installed-1.4... (dependency of idris-0.9.10)
next goal: trifecta (dependency of idris-0.9.10)
rejecting: trifecta-1.6.1, trifecta-1.6, trifecta-1.5.2, trifecta-1.5.1.3,
trifecta-1.5.1.2, trifecta-1.5.1.1, trifecta-1.5.1, trifecta-1.5,
trifecta-1.4.3, trifecta-1.4.2, trifecta-1.4.1, trifecta-1.4,
trifecta-1.2.1.1, trifecta-1.2.1, trifecta-1.2 (conflict: idris =>
trifecta==1.1)
rejecting: trifecta-1.1 (conflict: deepseq => array==0.5.1.1/installed-0.5...,
trifecta => array>=0.3.0.2 && <0.5)
rejecting: trifecta-1.0, trifecta-0.53, trifecta-0.52, trifecta-0.51.0.1,
trifecta-0.51, trifecta-0.50.2.1, trifecta-0.50.1, trifecta-0.50,
trifecta-0.49.1, trifecta-0.49, trifecta-0.47, trifecta-0.46, trifecta-0.45,
trifecta-0.44, trifecta-0.43, trifecta-0.42, trifecta-0.41, trifecta-0.40,
trifecta-0.39, trifecta-0.38, trifecta-0.37, trifecta-0.36.3, trifecta-0.36.2,
trifecta-0.36.1, trifecta-0.36, trifecta-0.35, trifecta-0.34, trifecta-0.32.1,
trifecta-0.32, trifecta-0.31, trifecta-0.30, trifecta-0.29, trifecta-0.28,
trifecta-0.27, trifecta-0.26, trifecta-0.25, trifecta-0.24, trifecta-0.23,
trifecta-0.22, trifecta-0.21, trifecta-0.20, trifecta-0.19, trifecta-0.18,
trifecta-0.17, trifecta-0.16.1, trifecta-0.16, trifecta-0.15.1, trifecta-0.15,
trifecta-0.14, trifecta-0.13, trifecta-0.12, trifecta-0.11, trifecta-0.10,
trifecta-0.9, trifecta-0.8.0.1, trifecta-0.8, trifecta-0.7.2, trifecta-0.7.1,
trifecta-0.7, trifecta-0.6, trifecta-0.5.1, trifecta-0.5, trifecta-0.4,
trifecta-0.3, trifecta-0.2, trifecta-0.1 (conflict: idris => trifecta==1.1)
Dependency tree exhaustively searched.