| Parent Directory | - | - | - |
| agda-bin_2.6.1-1+b2_amd64.deb | 19-Aug-2020 19:59 | 8M | - |
| agda-bin_2.6.1-1+b2_arm64.deb | 19-Aug-2020 21:57 | 10M | - |
| agda-bin_2.6.1-1+b2_i386.deb | 19-Aug-2020 22:58 | 9M | - |
| agda-bin_2.6.2.2-1.1_amd64.deb | 06-Dec-2022 17:57 | 7M | - |
| agda-bin_2.6.2.2-1.1_mips64el.deb | 06-Dec-2022 22:12 | 15M | - |
| agda-bin_2.6.2.2-1.1_ppc64el.deb | 06-Dec-2022 18:28 | 10M | - |
| agda-bin_2.6.2.2-1.1_s390x.deb | 06-Dec-2022 18:38 | 19M | - |
| agda-bin_2.6.4.3-1+b1_armel.deb | 17-Oct-2024 02:06 | 13M | - |
| agda-bin_2.6.4.3-1+b2_amd64.deb | 01-Feb-2025 22:54 | 9M | - |
| agda-bin_2.6.4.3-1+b2_arm64.deb | 14-Feb-2025 12:31 | 9M | - |
| agda-bin_2.6.4.3-1+b2_i386.deb | 14-Feb-2025 10:53 | 14M | - |
| agda-bin_2.6.4.3-1_ppc64el.deb | 08-Oct-2024 11:44 | 9M | - |
| agda-bin_2.6.4.3-1_riscv64.deb | 09-Oct-2024 00:41 | 12M | - |
| agda-bin_2.6.4.3-1_s390x.deb | 08-Oct-2024 11:44 | 19M | - |
| agda-bin_2.8.0-2+b2_amd64.deb | 02-Apr-2026 17:50 | 10M | - |
| agda-bin_2.8.0-2+b2_arm64.deb | 02-Apr-2026 08:01 | 10M | - |
| agda-bin_2.8.0-2+b2_i386.deb | 02-Apr-2026 08:52 | 10M | - |
| agda-bin_2.8.0-2+b2_ppc64el.deb | 02-Apr-2026 09:18 | 11M | - |
| agda-bin_2.8.0-2+b2_riscv64.deb | 15-Apr-2026 20:51 | 16M | - |
| agda-bin_2.8.0-2+b2_s390x.deb | 02-Apr-2026 09:28 | 18M | - |
| agda-bin_2.8.0-2+b3_loong64.deb | 02-Apr-2026 11:58 | 16M | - |
| agda_2.6.1-1.debian.tar.xz | 29-Jul-2020 15:40 | 10K | - |
| agda_2.6.1-1.dsc | 29-Jul-2020 15:40 | 4186 | - |
| agda_2.6.1-1_all.deb | 29-Jul-2020 16:40 | 28K | - |
| agda_2.6.1.orig.tar.gz | 29-Jul-2020 15:40 | 3M | - |
| agda_2.6.2.2-1.1.debian.tar.xz | 06-Dec-2022 16:40 | 10K | - |
| agda_2.6.2.2-1.1.dsc | 06-Dec-2022 16:40 | 4426 | - |
| agda_2.6.2.2-1.1_all.deb | 06-Dec-2022 17:41 | 12K | - |
| agda_2.6.2.2.orig.tar.gz | 06-Aug-2022 17:04 | 2M | - |
| agda_2.6.4.3-1.debian.tar.xz | 08-Oct-2024 10:41 | 10K | - |
| agda_2.6.4.3-1.dsc | 08-Oct-2024 10:41 | 5197 | - |
| agda_2.6.4.3-1_all.deb | 08-Oct-2024 11:23 | 12K | - |
| agda_2.6.4.3.orig.tar.gz | 08-Oct-2024 10:41 | 2M | - |
| agda_2.8.0-2.debian.tar.xz | 15-Feb-2026 14:11 | 10K | - |
| agda_2.8.0-2.dsc | 15-Feb-2026 14:11 | 5939 | - |
| agda_2.8.0-2_all.deb | 15-Feb-2026 15:07 | 17K | - |
| agda_2.8.0.orig.tar.gz | 14-Feb-2026 17:37 | 2M | - |
| elpa-agda2-mode_2.6.1-1_all.deb | 29-Jul-2020 16:40 | 65K | - |
| elpa-agda2-mode_2.6.2.2-1.1_all.deb | 06-Dec-2022 17:41 | 50K | - |
| elpa-agda2-mode_2.6.4.3-1_all.deb | 08-Oct-2024 11:23 | 50K | - |
| elpa-agda2-mode_2.8.0-2_all.deb | 15-Feb-2026 15:07 | 56K | - |
| libghc-agda-dev_2.6.1-1+b2_amd64.deb | 19-Aug-2020 19:59 | 36M | - |
| libghc-agda-dev_2.6.1-1+b2_arm64.deb | 19-Aug-2020 21:57 | 43M | - |
| libghc-agda-dev_2.6.1-1+b2_i386.deb | 19-Aug-2020 22:58 | 36M | - |
| libghc-agda-dev_2.6.2.2-1.1_amd64.deb | 06-Dec-2022 17:57 | 24M | - |
| libghc-agda-dev_2.6.2.2-1.1_mips64el.deb | 06-Dec-2022 22:12 | 35M | - |
| libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb | 06-Dec-2022 18:28 | 35M | - |
| libghc-agda-dev_2.6.2.2-1.1_s390x.deb | 06-Dec-2022 18:38 | 38M | - |
| libghc-agda-dev_2.6.4.3-1+b1_armel.deb | 17-Oct-2024 02:06 | 30M | - |
| libghc-agda-dev_2.6.4.3-1+b2_amd64.deb | 01-Feb-2025 22:54 | 22M | - |
| libghc-agda-dev_2.6.4.3-1+b2_arm64.deb | 14-Feb-2025 12:31 | 23M | - |
| libghc-agda-dev_2.6.4.3-1+b2_i386.deb | 14-Feb-2025 10:53 | 36M | - |
| libghc-agda-dev_2.6.4.3-1_ppc64el.deb | 08-Oct-2024 11:44 | 29M | - |
| libghc-agda-dev_2.6.4.3-1_riscv64.deb | 09-Oct-2024 00:41 | 40M | - |
| libghc-agda-dev_2.6.4.3-1_s390x.deb | 08-Oct-2024 11:44 | 39M | - |
| libghc-agda-dev_2.8.0-2+b2_amd64.deb | 02-Apr-2026 17:50 | 36M | - |
| libghc-agda-dev_2.8.0-2+b2_arm64.deb | 02-Apr-2026 08:01 | 38M | - |
| libghc-agda-dev_2.8.0-2+b2_i386.deb | 02-Apr-2026 08:52 | 36M | - |
| libghc-agda-dev_2.8.0-2+b2_ppc64el.deb | 02-Apr-2026 09:18 | 46M | - |
| libghc-agda-dev_2.8.0-2+b2_riscv64.deb | 15-Apr-2026 20:51 | 66M | - |
| libghc-agda-dev_2.8.0-2+b2_s390x.deb | 02-Apr-2026 09:28 | 54M | - |
| libghc-agda-dev_2.8.0-2+b3_loong64.deb | 02-Apr-2026 11:58 | 48M | - |
| libghc-agda-doc_2.6.1-1_all.deb | 29-Jul-2020 16:40 | 6M | - |
| libghc-agda-doc_2.6.2.2-1.1_all.deb | 06-Dec-2022 17:41 | 6M | - |
| libghc-agda-doc_2.6.4.3-1_all.deb | 08-Oct-2024 11:23 | 7M | - |
| libghc-agda-doc_2.8.0-2_all.deb | 15-Feb-2026 15:07 | 7M | - |