I prefer to leave dependency management for the user, so he could specify version he wants. Robustus doesn't have any dependency resolution, so if after ROS user suddenly decide to install other version of say wstool, it won't be installed. Maybe this problem doesn't worth the trouble, I don't know.