Package: acl2

• 8.6+dfsg-3 (main) [sid]
• 8.6+dfsg-2 (main) [trixie]
• 8.5dfsg-5 (main) [bookworm]
• 8.3dfsg-2 (main) [bullseye]
• 8.0dfsg-1 (main) [buster]
• 7.2dfsg-3 (main) [stretch]
• 6.5-2 (main) [jessie, jessie-kfreebsd]
• 6.5-2~bpo70+1 (main) [wheezy-backports]
• 4.3-3 (main) [wheezy]
• 4.0-3 (main) [squeeze]
• 3.1-1 (main) [etch, etch-m68k]
• 2.9-2 (main) [sarge]