Package: agda

• 2.6.3-1 (main) [trixie, sid]
• 2.6.2.2-1.1 (main) [bookworm]
• 2.6.1-1 (main) [bullseye]
• 2.5.4.1-3 (main) [buster]
• 2.5.1.1-3 (main) [stretch]
• 2.4.0.2-2 (main) [jessie, jessie-kfreebsd]
• 2.3.0.1-2 (main) [wheezy]
• 2.2.6-7 (main) [squeeze]