Index of /debian/pool/main/a/agda/
name
size
date
agda-bin_2.8.0-2+b2_loong64.deb
16.02M
2026-03-18 02:19:51
libghc-agda-dev_2.8.0-2+b2_loong64.deb
47.72M
2026-03-18 02:19:51
agda-bin_2.8.0-2+b1_riscv64.deb
15.97M
2026-03-01 19:58:14
libghc-agda-dev_2.8.0-2+b1_riscv64.deb
66.07M
2026-03-01 19:58:14
agda-bin_2.8.0-2+b1_s390x.deb
17.67M
2026-02-28 11:12:42
libghc-agda-dev_2.8.0-2+b1_s390x.deb
53.76M
2026-02-28 11:12:42
agda-bin_2.8.0-2+b1_ppc64el.deb
10.85M
2026-02-28 01:33:42
libghc-agda-dev_2.8.0-2+b1_ppc64el.deb
46.39M
2026-02-28 01:33:42
agda-bin_2.8.0-2+b1_arm64.deb
9.86M
2026-02-28 01:17:58
libghc-agda-dev_2.8.0-2+b1_arm64.deb
38.22M
2026-02-28 01:17:58
libghc-agda-dev_2.8.0-2+b1_amd64.deb
35.94M
2026-02-28 01:02:35
agda-bin_2.8.0-2+b1_amd64.deb
9.81M
2026-02-28 01:02:34
agda-bin_2.8.0-2+b1_i386.deb
9.70M
2026-02-28 01:02:30
libghc-agda-dev_2.8.0-2+b1_i386.deb
36.37M
2026-02-28 01:02:30
agda-bin_2.8.0-2_riscv64.deb
15.97M
2026-02-16 15:02:21
libghc-agda-dev_2.8.0-2_riscv64.deb
66.25M
2026-02-16 15:02:21
agda-bin_2.8.0-2_s390x.deb
17.67M
2026-02-15 18:10:15
libghc-agda-dev_2.8.0-2_s390x.deb
53.73M
2026-02-15 18:10:15
agda-bin_2.8.0-2_ppc64el.deb
10.86M
2026-02-15 15:33:08
libghc-agda-dev_2.8.0-2_ppc64el.deb
46.52M
2026-02-15 15:33:08
agda-bin_2.8.0-2_amd64.deb
9.81M
2026-02-15 15:07:45
libghc-agda-dev_2.8.0-2_amd64.deb
35.92M
2026-02-15 15:07:45
agda-bin_2.8.0-2_arm64.deb
9.86M
2026-02-15 15:07:41
libghc-agda-dev_2.8.0-2_arm64.deb
38.21M
2026-02-15 15:07:41
agda_2.8.0-2_all.deb
17.0K
2026-02-15 15:07:40
elpa-agda2-mode_2.8.0-2_all.deb
56.3K
2026-02-15 15:07:40
libghc-agda-doc_2.8.0-2_all.deb
7.23M
2026-02-15 15:07:40
agda-bin_2.8.0-2_i386.deb
9.70M
2026-02-15 15:07:32
libghc-agda-dev_2.8.0-2_i386.deb
36.40M
2026-02-15 15:07:32
agda_2.8.0-2.debian.tar.xz
10.4K
2026-02-15 14:11:42
agda_2.8.0-2.dsc
5.8K
2026-02-15 14:11:42
agda_2.8.0.orig.tar.gz
1.86M
2026-02-14 17:37:01
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