Debian logo Quality Assurance

dak ls

 why3 | 1.3.3-1    | bullseye     | source
 why3 | 1.3.3-1+b4 | bullseye     | amd64, arm64, armhf, i386
 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.8.0-2    | trixie       | source
 why3 | 1.8.0-2    | forky        | source
 why3 | 1.8.0-2    | sid          | source
 why3 | 1.8.0-2+b1 | trixie       | amd64, arm64, armel, armhf, i386, ppc64el, riscv64, s390x
 why3 | 1.8.0-2+b1 | forky        | amd64, arm64, armhf, i386, ppc64el, riscv64, s390x
 why3 | 1.8.0-2+b1 | sid          | amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x
 why3 | 1.8.0-3    | experimental | source, amd64, arm64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x

in
Show: More options, help