../ edge-gpsd-clients_3.17+edgeserver-1_amd64.deb 10-Jul-2019 11:32 1267968 edge-gpsd_3.17+edgeserver-1_amd64.deb 10-Jul-2019 11:32 744508 edge-libgps-dev_3.17+edgeserver-1_amd64.deb 10-Jul-2019 11:33 308476 edge-libgps23_3.17+edgeserver-1_amd64.deb 10-Jul-2019 11:33 195844 edge-python-gps_3.17+edgeserver-1_amd64.deb 10-Jul-2019 11:34 186156