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