anchor.diff:      }
   
   
  -let dep (p : string, vs : List<Version>) : Buckaroo.Dependency = {
  +let dep (p : string, c: Constraint) : Buckaroo.Dependency = {
       Package = package p;
  -    Constraint = Any ( vs |> List.map (Exactly));
  +    Constraint = c;
       Targets = None
   }
   
  
positive.code:         match lock with
          | PackageLock.GitHub g ->
            manifestSpec
            |> List.filter (fun (p, v, _) -> p = package g.Package.Project && v = (g.Revision.ToString() |> int |> ver))
            |> List.map (fun (_, _, m) -> m)
            |> List.tryHead
          | _ -> None
  
negative.code:     with Dependencies = xs |> List.map dep |> Set.ofList
  }
  
  type ManifestSpec = List<PackageIdentifier * Set<Version> * Manifest>
  
  let solve (manifests : ManifestSpec) style root =
      let console = new ConsoleManager(LoggingLevel.Debug);
  