[PRQ#43857] Deletion Request for ros-melodic-sophus

MarsSeed [1] filed a deletion request for ros-melodic-sophus [2]: ROS Melodic is EOL, all 500+ core packages disowned. Current supported release is 'Noetic'. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/ros-melodic-sophus/