Version of grub-efi-ia32-bin: 2.12-2
Architecture of grub-efi-ia32-bin: amd64
Version of gnat-gps-doc: 19.2-3
Architecture of gnat-gps-doc: all