Filename | Modification time | Size |
---|---|---|
gnat-gps-common_18-5_all.deb | 703 KiB | |
gnat-gps-doc_18-5_all.deb | 15 MiB | |
gnat-gps_18-5.debian.tar.xz | 54 KiB | |
gnat-gps_18-5.dsc | 2844 B | |
gnat-gps_18-5_amd64.deb | 16 MiB | |
gnat-gps_18-5_arm64.deb | 13 MiB | |
gnat-gps_18.orig.tar.xz | 11 MiB |