From 1b45d58ace83e821ac0a0db6f0915db0ff270b9a Mon Sep 17 00:00:00 2001 From: Adam Williamson Date: Sep 02 2022 18:09:22 +0000 Subject: Further cleanups to robotics group arduino IDE is still alive upstream, just got orphaned/retired downstream. libphidget was renamed, so that's updated. Signed-off-by: Adam Williamson --- diff --git a/comps-f38.xml.in b/comps-f38.xml.in index 177530b..0328cda 100644 --- a/comps-f38.xml.in +++ b/comps-f38.xml.in @@ -4524,12 +4524,11 @@ false true - arduino gazebo gazebo-doc gearbox git - libphidget + libphidget22 mrpt-apps mrpt-doc mrpt-libs @@ -4562,7 +4561,7 @@ urg gazebo-devel gearbox-devel - libphidget-devel + libphidget22-devel mrpt-devel pcl-devel player-devel