Update resolver for devel package name change
Oops in resolver update