Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: DAV (user goal)
rejecting: DAV-1.3.1, DAV-1.3, DAV-1.2, DAV-1.1, DAV-1.0.7, DAV-1.0.6,
DAV-1.0.5, DAV-1.0.4, DAV-1.0.3, DAV-1.0.2, DAV-1.0.1 (constraint from user
target requires ==1.0)
trying: DAV-1.0
trying: base-4.9.0.0/installed-4.9... (dependency of DAV-1.0)
trying: transformers-compat-0.5.1.4 (dependency of
optparse-applicative-0.13.0.0)
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: xml-conduit (dependency of DAV-1.0)
rejecting: xml-conduit-1.4.0.2, xml-conduit-1.4.0.1, xml-conduit-1.4.0,
xml-conduit-1.3.5, xml-conduit-1.3.4.2, xml-conduit-1.3.4.1,
xml-conduit-1.3.4, xml-conduit-1.3.3.1, xml-conduit-1.3.3, xml-conduit-1.3.2,
xml-conduit-1.3.1, xml-conduit-1.3.0 (conflict: DAV => xml-conduit>=1.0 &&
<1.3)
trying: xml-conduit-1.2.6
next goal: transformers (dependency of DAV-1.0)
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:
xml-conduit => transformers>=0.2 && <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,
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:
DAV => transformers>=0.3)
rejecting: transformers-0.5.0.2 (conflict: xml-conduit => transformers>=0.2 &&
<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, transformers-0.1.0.0 (conflict: DAV =>
transformers>=0.3)
Backjump limit reached (currently 2000, change with --max-backjumps or try to
run with --reorder-goals).