| ⬆️Parent directory | — | — |
| 📦agda-stdlib-doc_0.11-1_all.deb | 1.21M | Tue Jan 05 2016 |
| 📦agda-stdlib-doc_0.14-1_all.deb | 1.02M | Mon Nov 27 2017 |
| 📦agda-stdlib-doc_0.7-2_all.deb | 1.67M | Tue May 28 2013 |
| 📦agda-stdlib-doc_1.1-1_all.deb | 1.82M | Fri Sep 06 2019 |
| 📦agda-stdlib-doc_1.3-2_all.deb | 2.34M | Sun Aug 02 2020 |
| 📦agda-stdlib-doc_1.7.3-1_all.deb | 2.85M | Sat Nov 11 2023 |
| 📦agda-stdlib-doc_2.1-4_all.deb | 3.5M | Tue Nov 26 2024 |
| 📦agda-stdlib-doc_2.3-1_all.deb | 3.64M | Thu Feb 19 2026 |
| 📦agda-stdlib-doc_2.3-1build1_all.deb | 3.64M | Fri Jul 31 2026 |
| 📦agda-stdlib_0.11-1.debian.tar.xz | 4.5K | Tue Jan 05 2016 |
| 📄agda-stdlib_0.11-1.dsc | 2.06K | Tue Jan 05 2016 |
| 📦agda-stdlib_0.11-1_all.deb | 16.7M | Tue Jan 05 2016 |
| 📦agda-stdlib_0.11.orig.tar.gz | 248K | Tue Jan 05 2016 |
| 📦agda-stdlib_0.14-1.debian.tar.xz | 5.07K | Mon Nov 27 2017 |
| 📄agda-stdlib_0.14-1.dsc | 2.06K | Mon Nov 27 2017 |
| 📦agda-stdlib_0.14-1_all.deb | 17.4M | Mon Nov 27 2017 |
| 📦agda-stdlib_0.14.orig.tar.gz | 279K | Sun Nov 26 2017 |
| 📦agda-stdlib_0.7-2.debian.tar.gz | 4.36K | Tue May 28 2013 |
| 📄agda-stdlib_0.7-2.dsc | 2.03K | Tue May 28 2013 |
| 📦agda-stdlib_0.7-2_all.deb | 17.4M | Tue May 28 2013 |
| 📦agda-stdlib_0.7.orig.tar.gz | 222K | Thu Apr 11 2013 |
| 📦agda-stdlib_1.1-1.debian.tar.xz | 5.4K | Fri Sep 06 2019 |
| 📄agda-stdlib_1.1-1.dsc | 2.07K | Fri Sep 06 2019 |
| 📦agda-stdlib_1.1-1_all.deb | 45.2M | Fri Sep 06 2019 |
| 📦agda-stdlib_1.1.orig.tar.gz | 557K | Wed Sep 04 2019 |
| 📦agda-stdlib_1.3-2.debian.tar.xz | 5.51K | Sun Aug 02 2020 |
| 📄agda-stdlib_1.3-2.dsc | 2.07K | Sun Aug 02 2020 |
| 📦agda-stdlib_1.3-2_all.deb | 69.9M | Sun Aug 02 2020 |
| 📦agda-stdlib_1.3.orig.tar.gz | 734K | Sun Aug 02 2020 |
| 📦agda-stdlib_1.7.3-1.debian.tar.xz | 5.6K | Sun Nov 05 2023 |
| 📄agda-stdlib_1.7.3-1.dsc | 2.11K | Sun Nov 05 2023 |
| 📦agda-stdlib_1.7.3-1_all.deb | 115M | Sat Nov 11 2023 |
| 📦agda-stdlib_1.7.3.orig.tar.gz | 921K | Sun Nov 05 2023 |
| 📦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 | 141M | Tue Nov 26 2024 |
| 📦agda-stdlib_2.1.orig.tar.gz | 1.16M | Fri Nov 01 2024 |
| 📦agda-stdlib_2.3-1.debian.tar.xz | 5.95K | Mon Feb 16 2026 |
| 📄agda-stdlib_2.3-1.dsc | 2.17K | Mon Feb 16 2026 |
| 📦agda-stdlib_2.3-1_all.deb | 150M | Thu Feb 19 2026 |
| 📦agda-stdlib_2.3-1build1.debian.tar.xz | 5.99K | Fri Jul 31 2026 |
| 📄agda-stdlib_2.3-1build1.dsc | 2.17K | Fri Jul 31 2026 |
| 📦agda-stdlib_2.3-1build1_all.deb | 150M | Fri Jul 31 2026 |
| 📦agda-stdlib_2.3.orig.tar.gz | 1.21M | Mon Feb 16 2026 |