[Hackage] #762: cabal-install failed to resolve dependencies

[Hackage]

#762: cabal-install failed to resolve dependencies
---------------------------------+------------------------------------------
  Reporter:  james_m_chapman     |        Owner:         
      Type:  defect              |       Status:  new    
  Priority:  normal              |    Milestone:         
 Component:  cabal-install tool  |      Version:  1.8.0.2
  Severity:  normal              |     Keywords:         
Difficulty:  unknown             |   Ghcversion:         
  Platform:                      |  
---------------------------------+------------------------------------------
 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?

-- 
Ticket URL: <http://hackage.haskell.org/trac/hackage/ticket/762>
Hackage <http://haskell.org/cabal/>
Hackage: Cabal and related projects