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, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x
 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.1  | bookworm | source, amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x
 boolector | 1.5.118.6b56be4.121013-1.1  | sid      | source, amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x

in
Show: More options, help