Debian logo Quality Assurance

dak ls

 why3 | 0.87.3-2    | stretch  | source
 why3 | 0.87.3-2+b1 | stretch  | amd64, arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x
 why3 | 1.2.0-1     | buster   | source, amd64, arm64, armhf, i386
 why3 | 1.3.3-1     | bullseye | source
 why3 | 1.3.3-1+b4  | bullseye | amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x
 why3 | 1.5.1-1     | bookworm | source
 why3 | 1.5.1-1+b2  | bookworm | amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x
 why3 | 1.6.0-1     | trixie   | source
 why3 | 1.6.0-1     | sid      | source
 why3 | 1.6.0-1+b4  | trixie   | amd64, arm64, armhf, i386, ppc64el, s390x
 why3 | 1.6.0-1+b5  | trixie   | armel, mips64el
 why3 | 1.6.0-1+b5  | sid      | amd64, arm64, armel, armhf, i386, mips64el, ppc64el, s390x
 why3 | 1.6.0-1+b6  | sid      | riscv64

in
Show: More options, help