Version of grub-pc-bin: 2.12-2
Architecture of grub-pc-bin: amd64
Version of coccinelle-doc: 1.1.1.deb-5
Architecture of coccinelle-doc: all