../ ros-indigo-hector-map-tools_0.3.5-1trusty-20190..> 04-Jun-2019 17:10 7652 ros-indigo-hector-map-tools_0.3.5-1trusty-20190..> 04-Jun-2019 17:42 7662 ros-indigo-hector-map-tools_0.3.5-1trusty-20190..> 05-Jun-2019 06:44 7678 ros-indigo-hector-map-tools_0.3.5-1trusty.debia..> 04-Jun-2019 10:30 1885 ros-indigo-hector-map-tools_0.3.5-1trusty.dsc 04-Jun-2019 10:30 1074 ros-indigo-hector-map-tools_0.3.5.orig.tar.gz 04-Jun-2019 10:30 5620