Version of grub-pc-bin: 2.12-1+b1
Architecture of grub-pc-bin: amd64
Version of python3-mypy: 1.9.0-4
Architecture of python3-mypy: amd64