Re: [aur-requests] [PRQ#17281] Deletion Request for ros-melodic-ompl
13 Jan
2020
13 Jan
'20
10:20 a.m.
On 2020-01-12 19:09, Oskar Roesler wrote:
This should rather be a merge request, sorry for the inconvinience. All ros-melodic-* packages now depend on ompl.
Sorry, I still don't quite understand which package is supposed to be the replacement for ros-melodic-ompl. Could you file the merge request you hinted at instead, please, and explain the benefits of the new package? Cheers, Jonas
1898
Age (days ago)
1898
Last active (days ago)
0 comments
1 participants
participants (1)
-
Jonas Witschel