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