Index of /pub/gwdg/ubuntu/22.04/pool/universe/r/ros-interactive-markers/

../
libinteractive-markers-dev_1.12.0-8_amd64.deb      27-Oct-2021 23:43               12684
libinteractive-markers2d_1.12.0-8_amd64.deb        27-Oct-2021 23:43              133274
python3-interactive-markers_1.12.0-8_all.deb       27-Oct-2021 23:43                8558