| / | | |
| agda-bin_2.6.1-1+b2_amd64.deb | 8,910,056 | Wed, 19 Aug 2020 19:59:36 +0000 |
| agda-bin_2.6.1-1+b2_arm64.deb | 10,374,216 | Wed, 19 Aug 2020 21:57:18 +0000 |
| agda-bin_2.6.1-1+b2_i386.deb | 8,967,940 | Wed, 19 Aug 2020 22:58:58 +0000 |
| agda-bin_2.6.2.2-1.1_amd64.deb | 7,751,992 | Tue, 06 Dec 2022 17:57:33 +0000 |
| agda-bin_2.6.2.2-1.1_mips64el.deb | 15,291,932 | Tue, 06 Dec 2022 22:12:35 +0000 |
| agda-bin_2.6.2.2-1.1_ppc64el.deb | 10,606,748 | Tue, 06 Dec 2022 18:28:02 +0000 |
| agda-bin_2.6.2.2-1.1_s390x.deb | 20,207,572 | Tue, 06 Dec 2022 18:38:05 +0000 |
| agda-bin_2.6.4.3-1+b1_armel.deb | 13,978,264 | Thu, 17 Oct 2024 02:06:51 +0000 |
| agda-bin_2.6.4.3-1+b1_mips64el.deb | 14,692,432 | Fri, 18 Oct 2024 11:20:16 +0000 |
| agda-bin_2.6.4.3-1+b2_amd64.deb | 9,846,396 | Sat, 01 Feb 2025 22:54:53 +0000 |
| agda-bin_2.6.4.3-1+b2_arm64.deb | 9,868,676 | Fri, 14 Feb 2025 12:31:07 +0000 |
| agda-bin_2.6.4.3-1+b2_i386.deb | 14,756,624 | Fri, 14 Feb 2025 10:53:31 +0000 |
| agda-bin_2.6.4.3-1_ppc64el.deb | 9,460,608 | Tue, 08 Oct 2024 11:44:47 +0000 |
| agda-bin_2.6.4.3-1_riscv64.deb | 13,093,504 | Wed, 09 Oct 2024 00:41:36 +0000 |
| agda-bin_2.6.4.3-1_s390x.deb | 19,773,020 | Tue, 08 Oct 2024 11:44:37 +0000 |
| agda_2.6.1-1.debian.tar.xz | 10,060 | Wed, 29 Jul 2020 15:40:18 +0000 |
| agda_2.6.1-1.dsc | 4,186 | Wed, 29 Jul 2020 15:40:18 +0000 |
| agda_2.6.1-1_all.deb | 28,736 | Wed, 29 Jul 2020 16:40:53 +0000 |
| agda_2.6.1.orig.tar.gz | 2,646,289 | Wed, 29 Jul 2020 15:40:18 +0000 |
| agda_2.6.2.2-1.1.debian.tar.xz | 10,496 | Tue, 06 Dec 2022 16:40:51 +0000 |
| agda_2.6.2.2-1.1.dsc | 4,426 | Tue, 06 Dec 2022 16:40:51 +0000 |
| agda_2.6.2.2-1.1_all.deb | 12,304 | Tue, 06 Dec 2022 17:41:56 +0000 |
| agda_2.6.2.2.orig.tar.gz | 1,690,635 | Sat, 06 Aug 2022 17:04:45 +0000 |
| agda_2.6.4.3-1.debian.tar.xz | 10,460 | Tue, 08 Oct 2024 10:41:50 +0000 |
| agda_2.6.4.3-1.dsc | 5,197 | Tue, 08 Oct 2024 10:41:50 +0000 |
| agda_2.6.4.3-1_all.deb | 12,148 | Tue, 08 Oct 2024 11:23:12 +0000 |
| agda_2.6.4.3.orig.tar.gz | 1,869,461 | Tue, 08 Oct 2024 10:41:50 +0000 |
| elpa-agda2-mode_2.6.1-1_all.deb | 66,816 | Wed, 29 Jul 2020 16:40:53 +0000 |
| elpa-agda2-mode_2.6.2.2-1.1_all.deb | 50,944 | Tue, 06 Dec 2022 17:41:56 +0000 |
| elpa-agda2-mode_2.6.4.3-1_all.deb | 51,316 | Tue, 08 Oct 2024 11:23:12 +0000 |
| libghc-agda-dev_2.6.1-1+b2_amd64.deb | 37,948,252 | Wed, 19 Aug 2020 19:59:36 +0000 |
| libghc-agda-dev_2.6.1-1+b2_arm64.deb | 44,818,592 | Wed, 19 Aug 2020 21:57:18 +0000 |
| libghc-agda-dev_2.6.1-1+b2_i386.deb | 38,089,964 | Wed, 19 Aug 2020 22:58:58 +0000 |
| libghc-agda-dev_2.6.2.2-1.1_amd64.deb | 24,853,036 | Tue, 06 Dec 2022 17:57:33 +0000 |
| libghc-agda-dev_2.6.2.2-1.1_mips64el.deb | 36,477,468 | Tue, 06 Dec 2022 22:12:36 +0000 |
| libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb | 36,209,704 | Tue, 06 Dec 2022 18:28:02 +0000 |
| libghc-agda-dev_2.6.2.2-1.1_s390x.deb | 39,573,044 | Tue, 06 Dec 2022 18:38:05 +0000 |
| libghc-agda-dev_2.6.4.3-1+b1_armel.deb | 31,201,068 | Thu, 17 Oct 2024 02:06:51 +0000 |
| libghc-agda-dev_2.6.4.3-1+b1_mips64el.deb | 33,861,308 | Fri, 18 Oct 2024 11:20:16 +0000 |
| libghc-agda-dev_2.6.4.3-1+b2_amd64.deb | 22,821,040 | Sat, 01 Feb 2025 22:54:53 +0000 |
| libghc-agda-dev_2.6.4.3-1+b2_arm64.deb | 24,469,636 | Fri, 14 Feb 2025 12:31:07 +0000 |
| libghc-agda-dev_2.6.4.3-1+b2_i386.deb | 37,341,944 | Fri, 14 Feb 2025 10:53:31 +0000 |
| libghc-agda-dev_2.6.4.3-1_ppc64el.deb | 30,488,068 | Tue, 08 Oct 2024 11:44:47 +0000 |
| libghc-agda-dev_2.6.4.3-1_riscv64.deb | 41,660,392 | Wed, 09 Oct 2024 00:41:36 +0000 |
| libghc-agda-dev_2.6.4.3-1_s390x.deb | 40,484,108 | Tue, 08 Oct 2024 11:44:37 +0000 |
| libghc-agda-doc_2.6.1-1_all.deb | 5,799,636 | Wed, 29 Jul 2020 16:40:53 +0000 |
| libghc-agda-doc_2.6.2.2-1.1_all.deb | 6,599,972 | Tue, 06 Dec 2022 17:41:56 +0000 |
| libghc-agda-doc_2.6.4.3-1_all.deb | 7,489,680 | Tue, 08 Oct 2024 11:23:12 +0000 |