Rewrite pub's version solver.

sdk/lib/_internal/pub/test/implicit_barback_dependency_test.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import 'package:pub_semver/pub_semver.dart';
 
 import 'descriptor.dart' as d;
 import 'test_pub.dart';
 import '../lib/src/barback.dart' as barback;
 
@@ skipping 117 matching lines @@
       "is no version available", () {
     servePackages((builder) {
       builder.serve("barback", previous);
       builder.serve("source_span", sourceSpanVersion);
       builder.serve("stack_trace", stackTraceVersion);
     });
 
     d.appDir({"barback": "any"}).create();
 
     pubGet(error: """
-Package barback 0.12.0 does not match >=$current <$max derived from:
-- myapp 0.0.0 depends on version any
+Package barback has no versions that match >=$current <$max derived from:
+- myapp depends on version any
 - pub itself depends on version >=$current <$max""");
   });
 
   integration("includes pub in the error if a solve failed because there "
       "is a disjoint constraint", () {
     servePackages((builder) {
       builder.serve("barback", previous);
       builder.serve("barback", current);
       builder.serve("source_span", sourceSpanVersion);
       builder.serve("stack_trace", stackTraceVersion);
     });
 
     d.appDir({"barback": previous}).create();
 
     pubGet(error: """
 Incompatible version constraints on barback:
-- myapp 0.0.0 depends on version $previous
+- myapp depends on version $previous
 - pub itself depends on version >=$current <$max""");
   });
 }