Simplify Pkg2.resolve

@StefanKarpinski