HomeFreeBSD

merge duplicate ROS-related ports in devel and misc

Description

merge duplicate ROS-related ports in devel and misc

There are currently duplicate ports for ROS:

devel/ros-console_bridge and misc/console-bridge
devel/ros-urdfdom and misc/urdfdom
devel/ros-urdfdom_headers and misc/urdfdom-headers

This patch merges the misc ports into the devel ports. The upshot
should be that the duplication and confusion is removed but we keep
the functionality.

PR: 241744
Submitted by: Trenton Schulz <trueos@norwegianrockcat.com> (maintainer)
Approved by: yuri (maintainer of the duplicate ports)

Details

Provenance
piAuthored on
Parents
rP518356: - update MASTER_SITES
Branches
Unknown
Tags
Unknown