Version of grub-efi-amd64-bin: 2.12-1+b1
Architecture of grub-efi-amd64-bin: amd64
Version of discodos: 1.1-1
Architecture of discodos: all