Debian logo Quality Assurance

dak ls

 boolector | 1.5.118.6b56be4.121013-1      | jessie   | source, amd64, armel, armhf, i386
 boolector | 1.5.118.6b56be4.121013-1      | stretch  | source
 boolector | 1.5.118.6b56be4.121013-1      | buster   | source
 boolector | 1.5.118.6b56be4.121013-1      | bullseye | source
 boolector | 1.5.118.6b56be4.121013-1+b1   | stretch  | amd64, arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x
 boolector | 1.5.118.6b56be4.121013-1+b1   | buster   | amd64, arm64, armhf, i386
 boolector | 1.5.118.6b56be4.121013-1+b1   | bullseye | amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x
 boolector | 1.5.118.6b56be4.121013-1.3    | bookworm | source, amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x
 boolector | 1.5.118.6b56be4.121013-1.3    | trixie   | source, amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x
 boolector | 1.5.118.6b56be4.121013-1.3    | sid      | source, amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x
 boolector | 1.5.118.6b56be4.121013-1.3+b2 | sid      | riscv64

in
Show: More options, help