Debian logo Quality Assurance

dak ls

 cvc4 | 1.6-2    | buster   | source
 cvc4 | 1.6-2+b1 | buster   | amd64, i386
 cvc4 | 1.8-2    | bullseye | source, amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x
 cvc4 | 1.8-3    | bookworm | source, amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x
 cvc4 | 1.8-3    | trixie   | source
 cvc4 | 1.8-3    | sid      | source
 cvc4 | 1.8-3+b3 | trixie   | amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x
 cvc4 | 1.8-3+b3 | sid      | amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x

in
Show: More options, help