Update resolver for devel package name change