Debian logo Quality Assurance

dak ls

 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
 acl2 | 8.3dfsg-2    | bullseye | source, amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x
 acl2 | 8.5dfsg-5    | bookworm | source, amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x
 acl2 | 8.5dfsg-5    | trixie   | source
 acl2 | 8.5dfsg-5    | sid      | source
 acl2 | 8.5dfsg-5+b1 | trixie   | amd64, arm64, armel, armhf, i386, ppc64el, s390x
 acl2 | 8.5dfsg-5+b1 | sid      | amd64, arm64, armel, armhf, i386, ppc64el, s390x
 acl2 | 8.5dfsg-5+b2 | trixie   | mips64el
 acl2 | 8.5dfsg-5+b2 | sid      | mips64el, riscv64

in
Show: More options, help