Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: idris (user goal)
rejecting: idris-0.12.3, idris-0.12.2, idris-0.12.1 (constraint from user
target requires ==0.12)
trying: idris-0.12
trying: base-4.9.0.0/installed-4.9... (dependency of idris-0.12)
next goal: primitive (dependency of vector-0.11.0.0)
rejecting: primitive-0.6.2.0 (conflict: vector => primitive>=0.5.0.1 &&
<0.6.2)
trying: primitive-0.6.1.0
trying: transformers-compat-0.5.1.4 (dependency of idris-0.12)
trying: transformers-compat-0.5.1.4:-two
trying: transformers-compat-0.5.1.4:+mtl
trying: transformers-compat-0.5.1.4:-three
next goal: transformers (dependency of idris-0.12)
rejecting: transformers-0.5.2.0/installed-0.5..., transformers-0.5.2.0,
transformers-0.5.1.0, transformers-0.5.0.1, transformers-0.5.0.0 (conflict:
idris => transformers<0.5)
rejecting: transformers-0.4.3.0, transformers-0.4.2.0 (conflict:
base==4.9.0.0/installed-4.9..., transformers => base>=2 && <4.9)
rejecting: transformers-0.4.1.0 (conflict: base==4.9.0.0/installed-4.9...,
transformers => base>=2 && <4.8 || >=1.0 && <2)
rejecting: transformers-0.3.0.0 (conflict: transformers-compat-0.5.1.4:three
=> transformers>=0.2 && <0.3 || >=0.4.1 && <0.6)
rejecting: transformers-0.2.2.1, transformers-0.2.1.0, transformers-0.2.0.0
(conflict: transformers-compat-0.5.1.4:three => transformers>=0.4.1 && <0.6)
rejecting: transformers-0.1.4.0, transformers-0.1.3.0, transformers-0.1.1.0,
transformers-0.1.0.1, transformers-0.0.1.0, transformers-0.0.0.0 (conflict:
primitive => transformers>=0.2 && <0.6)
rejecting: transformers-0.5.0.2 (conflict: idris => transformers<0.5)
rejecting: transformers-0.4.0.0 (conflict: transformers-compat =>
transformers>=0.3 && <0.4 || >=0.2 && <0.3 || >=0.4.1 && <0.6)
rejecting: transformers-0.2.2.0 (conflict: transformers-compat-0.5.1.4:three
=> transformers>=0.4.1 && <0.6)
rejecting: transformers-0.1.0.0 (conflict: primitive => transformers>=0.2 &&
<0.6)
Backjump limit reached (currently 2000, change with --max-backjumps or try to
run with --reorder-goals).