| ⬆️Parent directory | — | — |
| 📦agda-bin_2.6.1-1+b2_amd64.deb | 8.5M | Thu Aug 20 2020 |
| 📦agda-bin_2.6.1-1+b2_i386.deb | 8.56M | Thu Aug 20 2020 |
| 📦agda-bin_2.6.2.2-1.1_amd64.deb | 7.4M | Wed Dec 07 2022 |
| 📦agda-bin_2.6.4.3-1+b2_amd64.deb | 9.4M | Sun Feb 02 2025 |
| 📦agda-bin_2.6.4.3-1+b2_i386.deb | 14.1M | Fri Feb 14 2025 |
| 📦agda-bin_2.8.0-2+b2_amd64.deb | 9.81M | Fri Apr 03 2026 |
| 📦agda-bin_2.8.0-2+b2_i386.deb | 9.7M | Thu Apr 02 2026 |
| 📦agda_2.6.1-1.debian.tar.xz | 9.83K | Wed Jul 29 2020 |
| 📄agda_2.6.1-1.dsc | 4.09K | Wed Jul 29 2020 |
| 📦agda_2.6.1-1_all.deb | 28.1K | Wed Jul 29 2020 |
| 📦agda_2.6.1.orig.tar.gz | 2.53M | Wed Jul 29 2020 |
| 📦agda_2.6.2.2-1.1.debian.tar.xz | 10.3K | Tue Dec 06 2022 |
| 📄agda_2.6.2.2-1.1.dsc | 4.33K | Tue Dec 06 2022 |
| 📦agda_2.6.2.2-1.1_all.deb | 12.1K | Wed Dec 07 2022 |
| 📦agda_2.6.2.2.orig.tar.gz | 1.62M | Sun Aug 07 2022 |
| 📦agda_2.6.4.3-1.debian.tar.xz | 10.3K | Tue Oct 08 2024 |
| 📄agda_2.6.4.3-1.dsc | 5.08K | Tue Oct 08 2024 |
| 📦agda_2.6.4.3-1_all.deb | 11.9K | Tue Oct 08 2024 |
| 📦agda_2.6.4.3.orig.tar.gz | 1.79M | Tue Oct 08 2024 |
| 📦agda_2.8.0-2.debian.tar.xz | 10.4K | Sun Feb 15 2026 |
| 📄agda_2.8.0-2.dsc | 5.8K | Sun Feb 15 2026 |
| 📦agda_2.8.0-2_all.deb | 17K | Sun Feb 15 2026 |
| 📦agda_2.8.0.orig.tar.gz | 1.87M | Sun Feb 15 2026 |
| 📦elpa-agda2-mode_2.6.1-1_all.deb | 65.3K | Wed Jul 29 2020 |
| 📦elpa-agda2-mode_2.6.2.2-1.1_all.deb | 49.8K | Wed Dec 07 2022 |
| 📦elpa-agda2-mode_2.6.4.3-1_all.deb | 50.2K | Tue Oct 08 2024 |
| 📦elpa-agda2-mode_2.8.0-2_all.deb | 56.3K | Sun Feb 15 2026 |
| 📦libghc-agda-dev_2.6.1-1+b2_amd64.deb | 36.2M | Thu Aug 20 2020 |
| 📦libghc-agda-dev_2.6.1-1+b2_i386.deb | 36.4M | Thu Aug 20 2020 |
| 📦libghc-agda-dev_2.6.2.2-1.1_amd64.deb | 23.8M | Wed Dec 07 2022 |
| 📦libghc-agda-dev_2.6.4.3-1+b2_amd64.deb | 21.8M | Sun Feb 02 2025 |
| 📦libghc-agda-dev_2.6.4.3-1+b2_i386.deb | 35.7M | Fri Feb 14 2025 |
| 📦libghc-agda-dev_2.8.0-2+b2_amd64.deb | 36M | Fri Apr 03 2026 |
| 📦libghc-agda-dev_2.8.0-2+b2_i386.deb | 36.4M | Thu Apr 02 2026 |
| 📦libghc-agda-doc_2.6.1-1_all.deb | 5.54M | Wed Jul 29 2020 |
| 📦libghc-agda-doc_2.6.2.2-1.1_all.deb | 6.3M | Wed Dec 07 2022 |
| 📦libghc-agda-doc_2.6.4.3-1_all.deb | 7.15M | Tue Oct 08 2024 |
| 📦libghc-agda-doc_2.8.0-2_all.deb | 7.24M | Sun Feb 15 2026 |