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, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x
 why3 | 1.2.0-1     | sid     | source, amd64, arm64, armel, armhf, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, mips, mips64el, mipsel, ppc64el, s390x

in
Show: More options, help