Package: agda-stdlib

• 2.1-4 (main) [trixie, forky, 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]

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