| ⬆️Parent directory | — | — |
| 📦agda-stdlib-doc_1.3-2_all.deb | 2.35M | Sat Aug 01 2020 |
| 📦agda-stdlib-doc_1.7.1-1_all.deb | 2.9M | Sun Aug 07 2022 |
| 📦agda-stdlib-doc_2.1-4_all.deb | 3.61M | Tue Nov 26 2024 |
| 📦agda-stdlib-doc_2.3-1_all.deb | 3.76M | Sun Feb 15 2026 |
| 📦agda-stdlib_1.3-2.debian.tar.xz | 5.51K | Sat Aug 01 2020 |
| 📄agda-stdlib_1.3-2.dsc | 2.07K | Sat Aug 01 2020 |
| 📦agda-stdlib_1.3-2_all.deb | 69.9M | Sat Aug 01 2020 |
| 📦agda-stdlib_1.3.orig.tar.gz | 734K | Fri Jul 31 2020 |
| 📦agda-stdlib_1.7.1-1.debian.tar.xz | 5.54K | Sun Aug 07 2022 |
| 📄agda-stdlib_1.7.1-1.dsc | 2.11K | Sun Aug 07 2022 |
| 📦agda-stdlib_1.7.1-1_all.deb | 95.5M | Sun Aug 07 2022 |
| 📦agda-stdlib_1.7.1.orig.tar.gz | 919K | Sun Aug 07 2022 |
| 📦agda-stdlib_2.1-4.debian.tar.xz | 5.92K | Tue Nov 26 2024 |
| 📄agda-stdlib_2.1-4.dsc | 2.18K | Tue Nov 26 2024 |
| 📦agda-stdlib_2.1-4_all.deb | 138M | Tue Nov 26 2024 |
| 📦agda-stdlib_2.1.orig.tar.gz | 1.16M | Sat Oct 19 2024 |
| 📦agda-stdlib_2.3-1.debian.tar.xz | 5.95K | Sun Feb 15 2026 |
| 📄agda-stdlib_2.3-1.dsc | 2.17K | Sun Feb 15 2026 |
| 📦agda-stdlib_2.3-1_all.deb | 146M | Sun Feb 15 2026 |
| 📦agda-stdlib_2.3.orig.tar.gz | 1.21M | Sun Feb 15 2026 |