Debian logo Quality Assurance

dak ls

 matita | 0.5.8-2     | squeeze | source
 matita | 0.5.8-2+b1  | squeeze | amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc
 matita | 0.5.8-2+b2  | squeeze | armel, ia64, mips, mipsel, s390
 matita | 0.99.1-1    | wheezy  | source, amd64, armel, armhf, i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390, s390x, sparc
 matita | 0.99.1-3    | jessie  | source, amd64, armel, armhf, i386
 matita | 0.99.3-1    | stretch | source
 matita | 0.99.3-1    | sid     | source
 matita | 0.99.3-1+b1 | stretch | amd64, arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x
 matita | 0.99.3-1+b2 | sid     | amd64, arm64, i386, mips64el, mipsel, ppc64el, s390x
 matita | 0.99.3-1+b3 | sid     | armel, armhf

in
Show: More options, help