../ gnat-gps-common_5.3dfsg-1ubuntu1_all.deb 24-Apr-2018 13:55 1250178 gnat-gps-dbg_5.3dfsg-1ubuntu1_amd64.deb 24-Apr-2018 14:16 26180118 gnat-gps-dbg_5.3dfsg-1ubuntu1_i386.deb 24-Apr-2018 14:03 22918416 gnat-gps-doc_5.3dfsg-1ubuntu1_all.deb 24-Apr-2018 14:17 9097196 gnat-gps_5.3dfsg-1ubuntu1_amd64.deb 24-Apr-2018 13:52 6357002 gnat-gps_5.3dfsg-1ubuntu1_i386.deb 24-Apr-2018 14:10 6554788