Debian logo Quality Assurance

dak ls

 coq | 8.2.pl2+dfsg-1         | squeeze           | source, amd64, armel, i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390, sparc
 coq | 8.3.pl3+dfsg-1~bpo60+1 | squeeze-backports | amd64, armel, i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390
 coq | 8.3.pl4+dfsg-2         | wheezy            | source, amd64, armel, armhf, i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390, s390x, sparc
 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, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x
 coq | 8.11.0-1               | bullseye          | source, amd64, arm64, ppc64el
 coq | 8.11.0-1               | sid               | source, amd64, arm64, ppc64el

in
Show: More options, help