Simplify Pkg2.resolve