Package: agda

• 2.6.4.3-1 (main) [trixie, forky, 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] *

* This package has no patches yet.
Note: packages without a link may have patches in a different format than 3.0 (quilt).