ros/rosdistro — pull request #5234 by jlblancoc (2014-08-08 12:17:15+00:00)
Title: Update rosdep entry mrpt for recent Ubuntu distros

When "raring" is old enough (there was a bug in those pkgs) it may be worth simplifying all versions to a single "ubuntu: " line with the proper -dev pkg.