Debian logo Quality Assurance

dak ls

 cvc5 | 1.0.3-1    | bookworm | source, amd64, arm64, ppc64el, s390x
 cvc5 | 1.1.2-2    | trixie   | source
 cvc5 | 1.1.2-2    | sid      | source
 cvc5 | 1.1.2-2+b2 | trixie   | amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x
 cvc5 | 1.1.2-2+b2 | sid      | amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x

in
Show: More options, help