Debian logo Quality Assurance

dak ls

 cryptominisat | 5.8.0+dfsg1-1      | bullseye | source
 cryptominisat | 5.8.0+dfsg1-1+b3   | bullseye | amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x
 cryptominisat | 5.11.4+dfsg1-2     | bookworm | source
 cryptominisat | 5.11.4+dfsg1-2+b1  | bookworm | amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x
 cryptominisat | 5.11.21+dfsg1-1    | trixie   | source
 cryptominisat | 5.11.21+dfsg1-1    | sid      | source
 cryptominisat | 5.11.21+dfsg1-1+b2 | trixie   | amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x
 cryptominisat | 5.11.21+dfsg1-1+b2 | sid      | amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x

in
Show: More options, help