| ⬆️Parent directory | — | — |
| 📦agda-bin_2.3.2.2-1_amd64.deb | 5.23M | Thu Nov 07 2013 |
| 📦agda-bin_2.3.2.2-1_i386.deb | 4.86M | Thu Nov 07 2013 |
| 📦agda-bin_2.4.2.5-1build1_amd64.deb | 4.59M | Wed Jan 13 2016 |
| 📦agda-bin_2.4.2.5-1build1_i386.deb | 4.57M | Wed Jan 13 2016 |
| 📦agda-bin_2.5.3-3build1_amd64.deb | 5.47M | Sun Nov 26 2017 |
| 📦agda-bin_2.5.3-3build1_i386.deb | 5.47M | Sun Nov 26 2017 |
| 📦agda-bin_2.6.0.1-1build4_amd64.deb | 6.27M | Sat Feb 08 2020 |
| 📦agda-bin_2.6.1-1build2.1_amd64.deb | 9.1M | Thu Sep 16 2021 |
| 📦agda-bin_2.6.3-1build1_amd64.deb | 10.5M | Sat Nov 11 2023 |
| 📦agda-bin_2.6.4.3-1_amd64.deb | 10.1M | Sat Oct 26 2024 |
| 📦agda-bin_2.8.0-2build1_amd64.deb | 10.5M | Mon Mar 02 2026 |
| 📦agda-bin_2.8.0-2maysync1_amd64.deb | 10.5M | Tue Oct 06 2026 |
| 📦agda-mode_2.3.2.2-1_all.deb | 47K | Thu Nov 07 2013 |
| 📦agda-mode_2.4.2.5-1build1_all.deb | 36.4K | Wed Jan 13 2016 |
| 📦agda-mode_2.5.3-3build1_all.deb | 3.5K | Sun Nov 26 2017 |
| 📦agda-mode_2.6.0.1-1build4_all.deb | 3.56K | Sat Feb 08 2020 |
| 📦agda_2.3.2.2-1.debian.tar.gz | 7.24K | Thu Nov 07 2013 |
| 📄agda_2.3.2.2-1.dsc | 3.21K | Thu Nov 07 2013 |
| 📦agda_2.3.2.2-1_all.deb | 2.93K | Thu Nov 07 2013 |
| 📦agda_2.3.2.2.orig.tar.gz | 1.95M | Thu Nov 07 2013 |
| 📦agda_2.4.2.5-1build1.debian.tar.xz | 7.67K | Wed Jan 13 2016 |
| 📄agda_2.4.2.5-1build1.dsc | 3.74K | Wed Jan 13 2016 |
| 📦agda_2.4.2.5-1build1_all.deb | 2.9K | Wed Jan 13 2016 |
| 📦agda_2.4.2.5.orig.tar.gz | 1008K | Tue Jan 05 2016 |
| 📦agda_2.5.3-3build1.debian.tar.xz | 9.58K | Sun Nov 26 2017 |
| 📄agda_2.5.3-3build1.dsc | 4.47K | Sun Nov 26 2017 |
| 📦agda_2.5.3-3build1_all.deb | 2.99K | Sun Nov 26 2017 |
| 📦agda_2.5.3.orig.tar.gz | 1.15M | Wed Nov 01 2017 |
| 📦agda_2.6.0.1-1build4.debian.tar.xz | 9.99K | Sat Feb 08 2020 |
| 📄agda_2.6.0.1-1build4.dsc | 4.2K | Sat Feb 08 2020 |
| 📦agda_2.6.0.1-1build4_all.deb | 3.97K | Sat Feb 08 2020 |
| 📦agda_2.6.0.1.orig.tar.gz | 2.27M | Sun Sep 01 2019 |
| 📦agda_2.6.1-1build2.1.debian.tar.xz | 10K | Thu Sep 16 2021 |
| 📄agda_2.6.1-1build2.1.dsc | 4.2K | Thu Sep 16 2021 |
| 📦agda_2.6.1-1build2.1_all.deb | 4.04K | Thu Sep 16 2021 |
| 📦agda_2.6.1.orig.tar.gz | 2.53M | Thu Jul 30 2020 |
| 📦agda_2.6.3-1build1.debian.tar.xz | 11.4K | Wed Nov 08 2023 |
| 📄agda_2.6.3-1build1.dsc | 4.83K | Wed Nov 08 2023 |
| 📦agda_2.6.3-1build1_all.deb | 3.67K | Sat Nov 11 2023 |
| 📦agda_2.6.3.orig.tar.gz | 1.72M | Thu Oct 26 2023 |
| 📦agda_2.6.4.3-1.debian.tar.xz | 10.3K | Sat Oct 26 2024 |
| 📄agda_2.6.4.3-1.dsc | 5.08K | Sat Oct 26 2024 |
| 📦agda_2.6.4.3-1_all.deb | 3.65K | Sat Oct 26 2024 |
| 📦agda_2.6.4.3.orig.tar.gz | 1.79M | Sat Oct 26 2024 |
| 📦agda_2.8.0-2build1.debian.tar.xz | 10.5K | Mon Mar 02 2026 |
| 📄agda_2.8.0-2build1.dsc | 5.8K | Mon Mar 02 2026 |
| 📦agda_2.8.0-2build1_all.deb | 2.83K | Mon Mar 02 2026 |
| 📦agda_2.8.0-2maysync1.debian.tar.xz | 10.6K | Tue Oct 06 2026 |
| 📄agda_2.8.0-2maysync1.dsc | 5.91K | Tue Oct 06 2026 |
| 📦agda_2.8.0-2maysync1_all.deb | 2.83K | Tue Oct 06 2026 |
| 📦agda_2.8.0.orig.tar.gz | 1.87M | Sun Feb 15 2026 |
| 📦elpa-agda2-mode_2.5.3-3build1_all.deb | 39.9K | Sun Nov 26 2017 |
| 📦elpa-agda2-mode_2.6.0.1-1build4_all.deb | 40.3K | Sat Feb 08 2020 |
| 📦elpa-agda2-mode_2.6.1-1build2.1_all.deb | 45.1K | Thu Sep 16 2021 |
| 📦elpa-agda2-mode_2.6.3-1build1_all.deb | 45.2K | Sat Nov 11 2023 |
| 📦elpa-agda2-mode_2.6.4.3-1_all.deb | 45.3K | Sat Oct 26 2024 |
| 📦elpa-agda2-mode_2.8.0-2build1_all.deb | 46.6K | Mon Mar 02 2026 |
| 📦elpa-agda2-mode_2.8.0-2maysync1_all.deb | 46.5K | Tue Oct 06 2026 |
| 📦libghc-agda-dev_2.3.2.2-1_amd64.deb | 13M | Thu Nov 07 2013 |
| 📦libghc-agda-dev_2.3.2.2-1_i386.deb | 12.4M | Thu Nov 07 2013 |
| 📦libghc-agda-dev_2.4.2.5-1build1_amd64.deb | 10.2M | Wed Jan 13 2016 |
| 📦libghc-agda-dev_2.4.2.5-1build1_i386.deb | 10.1M | Wed Jan 13 2016 |
| 📦libghc-agda-dev_2.5.3-3build1_amd64.deb | 15.2M | Sun Nov 26 2017 |
| 📦libghc-agda-dev_2.5.3-3build1_i386.deb | 14.9M | Sun Nov 26 2017 |
| 📦libghc-agda-dev_2.6.0.1-1build4_amd64.deb | 18.8M | Sat Feb 08 2020 |
| 📦libghc-agda-dev_2.6.1-1build2.1_amd64.deb | 38.4M | Thu Sep 16 2021 |
| 📦libghc-agda-dev_2.6.3-1build1_amd64.deb | 24.4M | Sat Nov 11 2023 |
| 📦libghc-agda-dev_2.6.4.3-1_amd64.deb | 23.1M | Sat Oct 26 2024 |
| 📦libghc-agda-dev_2.8.0-2build1_amd64.deb | 37.5M | Mon Mar 02 2026 |
| 📦libghc-agda-dev_2.8.0-2maysync1_amd64.deb | 37.5M | Tue Oct 06 2026 |
| 📦libghc-agda-doc_2.3.2.2-1_all.deb | 2.09M | Thu Nov 07 2013 |
| 📦libghc-agda-doc_2.4.2.5-1build1_all.deb | 2.09M | Wed Jan 13 2016 |
| 📦libghc-agda-doc_2.5.3-3build1_all.deb | 2.63M | Sun Nov 26 2017 |
| 📦libghc-agda-doc_2.6.0.1-1build4_all.deb | 4.02M | Sat Feb 08 2020 |
| 📦libghc-agda-doc_2.6.1-1build2.1_all.deb | 5.16M | Thu Sep 16 2021 |
| 📦libghc-agda-doc_2.6.3-1build1_all.deb | 6M | Sat Nov 11 2023 |
| 📦libghc-agda-doc_2.6.4.3-1_all.deb | 6.39M | Sat Oct 26 2024 |
| 📦libghc-agda-doc_2.8.0-2build1_all.deb | 6.49M | Mon Mar 02 2026 |
| 📦libghc-agda-doc_2.8.0-2maysync1_all.deb | 6.49M | Tue Oct 06 2026 |