pkg/resolve: improve unsat error message
pkg: add check_repository