Print a bit more information in solver debug output (-v3).
Print a bit more information in solver debug output (-v3).

themoritz/cabal,Heather/cabal,themoritz/cabal,Heather/cabal,bennofs/cabal,sopvop/cabal,kolmodin/cabal,sopvop/cabal,sopvop/cabal,garetxe/cabal,mydaum/cabal,garetxe/cabal,mydaum/cabal,thomie/cabal,thomie/cabal,headprogrammingczar/cabal,kolmodin/cabal,gbaz/cabal,themoritz/cabal,headprogrammingczar/cabal,bennofs/cabal,gbaz/cabal