Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: scyther-proof (user goal)
rejecting: scyther-proof-0.10.0.0, 0.8.0.0, 0.6.0.0, 0.5.0.0, 0.4.1.0, 0.4.0
(global constraint requires ==0.3.1)
trying: scyther-proof-0.3.1
trying: base-4.7.0.1/installed-e4b... (dependency of scyther-proof-0.3.1)
next goal: tagsoup (dependency of scyther-proof-0.3.1)
rejecting: tagsoup-0.13.3, 0.13.2, 0.13.1, 0.13 (conflict: scyther-proof =>
tagsoup==0.12.*)
trying: tagsoup-0.12.8
next goal: bytestring (dependency of tagsoup-0.12.8)
rejecting: bytestring-0.10.4.0/installed-9f4... (conflict: deepseq==1.4.1.1,
bytestring => deepseq==1.3.0.2/installed-733...)
trying: bytestring-0.10.6.0
next goal: time (dependency of scyther-proof-0.3.1)
rejecting: time-1.4.2/installed-bf9..., 1.5.0.1, 1.5, 1.4.2, 1.4.1, 1.4.0.2,
1.4.0.1, 1.4, 1.3 (conflict: scyther-proof => time>=1.1 && <1.3)
rejecting: time-1.2.0.5, 1.2.0.4, 1.2.0.3, 1.2.0.2, 1.2.0.1, 1.2, 1.1.4
(conflict: base==4.7.0.1/installed-e4b..., time => base>=4 && <4.7)
trying: time-1.1.3
next goal: process (dependency of scyther-proof-0.3.1)
rejecting: process-1.2.0.0/installed-163..., 1.2.3.0, 1.2.2.0, 1.2.1.0,
1.2.0.0, 1.1.0.2, 1.1.0.1, 1.1.0.0 (conflict: scyther-proof => process==1.0.*)
trying: process-1.0.1.5
next goal: unix (dependency of process-1.0.1.5)
rejecting: unix-2.7.0.1/installed-0d8... (conflict: bytestring==0.10.6.0, unix
=> bytestring==0.10.4.0/installed-9f4...)
rejecting: unix-2.7.1.0, 2.7.0.1 (conflict: time==1.1.3, unix => time>=1.2 &&
<1.6)
rejecting: unix-2.7.0.0 (conflict: time==1.1.3, unix => time>=1.2 && <1.5)
rejecting: unix-2.6.0.1, 2.6.0.0 (conflict: base==4.7.0.1/installed-e4b...,
unix => base>=4.5 && <4.7)
rejecting: unix-2.5.1.1, 2.5.1.0 (conflict: base==4.7.0.1/installed-e4b...,
unix => base>=4.5 && <4.6)
rejecting: unix-2.5.0.0 (conflict: base==4.7.0.1/installed-e4b..., unix =>
base>=4.2 && <4.5)
rejecting: unix-2.4.2.0, 2.4.1.0 (conflict: base==4.7.0.1/installed-e4b...,
unix => base>=4.2 && <4.4)
rejecting: unix-2.4.0.2, 2.4.0.1 (conflict: base==4.7.0.1/installed-e4b...,
unix => base>=4.2 && <4.3)
rejecting: unix-2.4.0.0 (conflict: base==4.7.0.1/installed-e4b..., unix =>
base>=4.1 && <4.3)
rejecting: unix-2.3.2.0, 2.3.1.0, 2.3.0.0, 2.2.0.0, 2.0 (conflict:
base==4.7.0.1/installed-e4b..., unix => base<4.3)
Backjump limit reached (change with --max-backjumps).