anchor.diff:              | AutoDetectFramework 
               | ExplicitRestriction Paket.Requirements.FrameworkRestriction.HasNoRestriction -> ""
               | ExplicitRestriction fr -> sprintf " (%O)" fr
  -        let formatName name i = sprintf "%s-> %O" (String.replicate i "  ") name
  +        let formatName (name: PackageName) i = sprintf "%s-> %O - %s" (String.replicate i "  ") (name.Name)
  +                                                    ((resolution.Item name).Version.ToString())
           let rec format' i (name,chain) =
               let rest = 
                   match chain, showDetails with
                   | LblPathNode chain,_ -> 
                       format' (i+1) chain
                   | LblPathLeaf (name,(vr,fr)), true -> 
  -                    sprintf "%s%s%s" (formatName name (i+1)) (formatVerReq vr) (formatFxReq fr)
  +                    sprintf "%s -%s%s" (formatName name (i+1)) (formatVerReq vr) (formatFxReq fr)
                   | LblPathLeaf (name,_), false -> 
                       formatName name (i+1)
               sprintf "%s%s%s" (formatName name i) Environment.NewLine rest
           
           format' 0 c
   
  -    let formatMany showDetails chains =
  +    let formatMany resolution showDetails chains =
           chains
  -        |> Seq.map (format showDetails)
  +        |> Seq.map (format resolution showDetails)
           |> String.concat (String.replicate 2 Environment.NewLine)
   
   // In context of FAKE project dependencies
  
positive.code:             for (top, chains) in chains |> List.groupBy (DependencyChain.first) do
                  match chains |> List.sortBy DependencyChain.length, options.Details with
                  | shortest :: [], false ->
                      DependencyChain.format options.Details shortest |> tracen
                  | shortest :: rest, false ->
                      DependencyChain.format options.Details shortest |> tracen
                      tracen ""
                      tracefn 
                          "... and %d chain%s more starting at %O ..." 
  
negative.code:                 topLevelDeps
                  |> Set.toList
                  |> List.collect (fun p -> AdjLblGraph.paths p packageName graph)
              match Set.contains packageName directDeps, Set.contains packageName topLevelDeps with
              | true, true ->
                  Result.Ok ((TopLevel, group.Resolution), [])
              | true, false ->
                  Result.Ok ((Direct chains, group.Resolution), [])
              | false, false ->
                  Result.Ok ((Transitive chains, group.Resolution), [])
              | false, true ->
                  failwith "impossible"
  
  