Index of /debian/pool/main/a/agda/
name
size
date
agda-bin_2.6.4.3-1+b2_arm64.deb
9.41M
2025-02-14 12:31:07
libghc-agda-dev_2.6.4.3-1+b2_arm64.deb
23.34M
2025-02-14 12:31:07
agda-bin_2.6.4.3-1+b2_i386.deb
14.07M
2025-02-14 10:53:31
libghc-agda-dev_2.6.4.3-1+b2_i386.deb
35.61M
2025-02-14 10:53:31
agda-bin_2.6.4.3-1+b2_amd64.deb
9.39M
2025-02-01 22:54:53
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb
21.76M
2025-02-01 22:54:53
agda-bin_2.6.4.3-1+b1_armel.deb
13.33M
2024-10-17 02:06:51
libghc-agda-dev_2.6.4.3-1+b1_armel.deb
29.76M
2024-10-17 02:06:51
agda-bin_2.6.4.3-1_riscv64.deb
12.49M
2024-10-09 00:41:36
libghc-agda-dev_2.6.4.3-1_riscv64.deb
39.73M
2024-10-09 00:41:36
agda-bin_2.6.4.3-1_ppc64el.deb
9.02M
2024-10-08 11:44:47
libghc-agda-dev_2.6.4.3-1_ppc64el.deb
29.08M
2024-10-08 11:44:47
agda-bin_2.6.4.3-1_s390x.deb
18.86M
2024-10-08 11:44:37
libghc-agda-dev_2.6.4.3-1_s390x.deb
38.61M
2024-10-08 11:44:37
agda_2.6.4.3-1_all.deb
11.9K
2024-10-08 11:23:12
elpa-agda2-mode_2.6.4.3-1_all.deb
50.1K
2024-10-08 11:23:12
libghc-agda-doc_2.6.4.3-1_all.deb
7.14M
2024-10-08 11:23:12
agda_2.6.4.3-1.debian.tar.xz
10.2K
2024-10-08 10:41:50
agda_2.6.4.3-1.dsc
5.1K
2024-10-08 10:41:50
agda_2.6.4.3.orig.tar.gz
1.78M
2024-10-08 10:41:50
libghc-agda-dev_2.6.2.2-1.1_mips64el.deb
34.79M
2022-12-06 22:12:36
agda-bin_2.6.2.2-1.1_mips64el.deb
14.58M
2022-12-06 22:12:35
agda-bin_2.6.2.2-1.1_s390x.deb
19.27M
2022-12-06 18:38:05
libghc-agda-dev_2.6.2.2-1.1_s390x.deb
37.74M
2022-12-06 18:38:05
agda-bin_2.6.2.2-1.1_ppc64el.deb
10.12M
2022-12-06 18:28:02
libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb
34.53M
2022-12-06 18:28:02
agda-bin_2.6.2.2-1.1_amd64.deb
7.39M
2022-12-06 17:57:33
libghc-agda-dev_2.6.2.2-1.1_amd64.deb
23.70M
2022-12-06 17:57:33
agda_2.6.2.2-1.1_all.deb
12.0K
2022-12-06 17:41:56
elpa-agda2-mode_2.6.2.2-1.1_all.deb
49.8K
2022-12-06 17:41:56
libghc-agda-doc_2.6.2.2-1.1_all.deb
6.29M
2022-12-06 17:41:56
agda_2.6.2.2-1.1.debian.tar.xz
10.3K
2022-12-06 16:40:51
agda_2.6.2.2-1.1.dsc
4.3K
2022-12-06 16:40:51
agda_2.6.2.2.orig.tar.gz
1.61M
2022-08-06 17:04:45
agda-bin_2.6.1-1+b2_i386.deb
8.55M
2020-08-19 22:58:58
libghc-agda-dev_2.6.1-1+b2_i386.deb
36.33M
2020-08-19 22:58:58
agda-bin_2.6.1-1+b2_arm64.deb
9.89M
2020-08-19 21:57:18
libghc-agda-dev_2.6.1-1+b2_arm64.deb
42.74M
2020-08-19 21:57:18
agda-bin_2.6.1-1+b2_amd64.deb
8.50M
2020-08-19 19:59:36
libghc-agda-dev_2.6.1-1+b2_amd64.deb
36.19M
2020-08-19 19:59:36
agda_2.6.1-1_all.deb
28.1K
2020-07-29 16:40:53
elpa-agda2-mode_2.6.1-1_all.deb
65.3K
2020-07-29 16:40:53
libghc-agda-doc_2.6.1-1_all.deb
5.53M
2020-07-29 16:40:53
agda_2.6.1-1.debian.tar.xz
9.8K
2020-07-29 15:40:18
agda_2.6.1-1.dsc
4.1K
2020-07-29 15:40:18
agda_2.6.1.orig.tar.gz
2.52M
2020-07-29 15:40:18