Debian logo Quality Assurance

dak ls

 acl2 | 4.0-3         | squeeze          | source, amd64, armel, i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390, sparc
 acl2 | 4.3-3         | wheezy           | source, amd64, armel, armhf, i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390, s390x, sparc
 acl2 | 6.5-2~bpo70+1 | wheezy-backports | source, amd64
 acl2 | 6.5-2         | jessie           | source, amd64, armel, armhf, i386
 acl2 | 7.2dfsg-3     | stretch          | source, amd64, arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x
 acl2 | 8.0dfsg-1     | buster           | source, amd64, arm64, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x
 acl2 | 8.0dfsg-1     | bullseye         | source, amd64, arm64, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x
 acl2 | 8.0dfsg-1+b1  | buster           | armel
 acl2 | 8.0dfsg-1+b1  | bullseye         | armel
 acl2 | 8.1dfsg-3     | sid              | source, mipsel
 acl2 | 8.1dfsg-3+b1  | sid              | amd64, arm64, armel, armhf, i386, mips, mips64el, ppc64el, s390x

in
Show: More options, help