[Bug 241744] [PATCH] merge duplicate ROS-related ports in devel and misc
bugzilla-noreply at freebsd.org
bugzilla-noreply at freebsd.org
Tue Nov 5 21:18:40 UTC 2019
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=241744
Bug ID: 241744
Summary: [PATCH] merge duplicate ROS-related ports in devel and
misc
Product: Ports & Packages
Version: Latest
Hardware: Any
OS: Any
Status: New
Severity: Affects Many People
Priority: ---
Component: Individual Port(s)
Assignee: ports-bugs at FreeBSD.org
Reporter: trueos at norwegianrockcat.com
CC: yuri at freebsd.org
CC: yuri at freebsd.org
Created attachment 208893
--> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=208893&action=edit
Patch to merge the duplicate ports
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.
--
You are receiving this mail because:
You are the assignee for the bug.
More information about the freebsd-ports-bugs
mailing list