| Parent directory/ | - | - |
| gnat-gps-common_18-5_all.deb | 720172 | 2018-Dec-11 15:08 |
| gnat-gps-common_19.2-3_all.deb | 687316 | 2020-Feb-25 18:49 |
| gnat-gps-doc_18-5_all.deb | 16032872 | 2018-Dec-11 15:08 |
| gnat-gps-doc_19.2-3_all.deb | 15929400 | 2020-Feb-25 18:49 |
| gnat-gps_18-5.debian.tar.xz | 54996 | 2018-Dec-11 14:18 |
| gnat-gps_18-5.dsc | 2844 | 2018-Dec-11 14:18 |
| gnat-gps_18-5_amd64.deb | 16783272 | 2018-Dec-11 15:48 |
| gnat-gps_18-5_arm64.deb | 13784648 | 2018-Dec-11 18:14 |
| gnat-gps_18.orig.tar.xz | 11756220 | 2018-Aug-07 09:45 |
| gnat-gps_19.2-3.debian.tar.xz | 55760 | 2020-Feb-25 18:29 |
| gnat-gps_19.2-3.dsc | 2795 | 2020-Feb-25 18:29 |
| gnat-gps_19.2-3_amd64.deb | 18229392 | 2020-Feb-26 05:51 |
| gnat-gps_19.2-3_arm64.deb | 14723240 | 2020-Feb-26 06:57 |
| gnat-gps_19.2-3_mips64el.deb | 14082884 | 2020-Feb-26 13:25 |
| gnat-gps_19.2-3_ppc64el.deb | 15406012 | 2020-Feb-26 05:56 |
| gnat-gps_19.2-3_s390x.deb | 14699408 | 2020-Feb-26 05:41 |
| gnat-gps_19.2.orig.tar.xz | 11131912 | 2019-Dec-23 01:17 |