../ edge-gpsd-clients_3.17+edgeserver-1_amd64.deb 02-Jul-2018 16:35 1222340 edge-gpsd_3.17+edgeserver-1_amd64.deb 02-Jul-2018 16:35 713336 edge-libgps-dev_3.17+edgeserver-1_amd64.deb 02-Jul-2018 16:35 305644 edge-libgps23_3.17+edgeserver-1_amd64.deb 02-Jul-2018 16:35 192656 edge-python-gps_3.17+edgeserver-1_amd64.deb 02-Jul-2018 16:35 185164