Package: agda-stdlib

• 2.1-4 (main) [trixie, sid]
• 1.7.1-1 (main) [bookworm]
• 1.3-2 (main) [bullseye]
• 0.17-1 (main) [buster]
• 0.12-2 (main) [stretch]
• 0.8-2 (main) [jessie, jessie-kfreebsd]
• 0.6-2 (main) [wheezy]
• 0.3-3 (main) [squeeze]