coq | 8.4pl4dfsg-1 | jessie | source, amd64, armel, armhf, i386 coq | 8.6-4 | stretch | source, amd64, arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x coq | 8.9.0-1 | buster | source, amd64, arm64, armhf, i386 coq | 8.12.0-3 | bullseye | source coq | 8.12.0-3+b3 | bullseye | amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el coq | 8.16.1+dfsg-1 | bookworm | source coq | 8.16.1+dfsg-1+b2 | bookworm | amd64, arm64, armhf, i386, ppc64el, s390x coq | 8.19.1+dfsg-3 | trixie | source coq | 8.19.1+dfsg-3 | sid | source coq | 8.19.1+dfsg-3+b2 | trixie | amd64, arm64, riscv64, s390x coq | 8.19.1+dfsg-3+b2 | sid | amd64, arm64, riscv64, s390x coq | 8.19.1+dfsg-3+b3 | trixie | ppc64el coq | 8.19.1+dfsg-3+b3 | sid | ppc64el