Debian logo Quality Assurance

dak ls

 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.12.0-3      | bullseye | source
 coq | 8.12.0-3+b3   | bullseye | amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el
 coq | 8.15.0+dfsg-1 | sid      | source
 coq | 8.16.0+dfsg-1 | bookworm | source, amd64, arm64, armhf, i386, ppc64el, s390x
 coq | 8.16.0+dfsg-1 | sid      | source, amd64, arm64, armhf, i386, ppc64el, s390x

in
Show: More options, help