id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc	difficulty	ghcversion	platform
762	cabal-install failed to resolve dependencies	james_m_chapman		"I tried to update my installation of the development version of Agda.

I did a darcs pull from the repo (darcs get --lazy http://code.haskell.org/Agda) and then tried to build it:
{{{
$ darcs pull
$ cabal update
$ cabal clean
$ cabal install
}}}
I get the following error:
{{{
Resolving dependencies...
cabal: cannot configure haskeline-0.6.2.2. It requires mtl ==1.1.*
For the dependency on mtl ==1.1.* there are these packages: mtl-1.1.0.0,
mtl-1.1.0.1, mtl-1.1.0.2 and mtl-1.1.1.0. However none of them are available.
mtl-1.1.0.0 was excluded because Agda-2.2.9 requires mtl ==2.0.*
mtl-1.1.0.1 was excluded because Agda-2.2.9 requires mtl ==2.0.*
mtl-1.1.0.2 was excluded because Agda-2.2.9 requires mtl ==2.0.*
mtl-1.1.1.0 was excluded because Agda-2.2.9 requires mtl ==2.0.*""
}}}
Agda's .cabal file is here
{{{
http://code.haskell.org/Agda/Agda.cabal
}}}
and contains the build-depends line
{{{
haskeline >= 0.3 && < 0.7
}}}

The solution is to upgrade haskeline to the latest version by running:
{{{
$ cabal install haskeline
}}}
Should cabal-install have been able to work this out itself?"	defect	closed	normal	cabal-install-0.14	cabal-install tool	1.8.0.2	normal	fixed		james@…	unknown	6.12.1