Debian logo Quality Assurance

dak ls

 cbmc | 4.9-4   | jessie   | source, amd64, armel, armhf, i386
 cbmc | 5.6-1   | stretch  | source, amd64, arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x
 cbmc | 5.10-5  | buster   | source, amd64, arm64, armhf, i386
 cbmc | 5.12-5  | bullseye | source, amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x
 cbmc | 6.1.1-2 | trixie   | source, amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x
 cbmc | 6.1.1-2 | sid      | source, amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x

in
Show: More options, help