Index of /debian/pool/main/a/agda
Name
Last modified
Size
Description
Parent Directory
-
agda-bin_2.4.0.2-2+b1_amd64.deb
2014-09-07 14:27
3.7M
agda-bin_2.4.0.2-2+b1_i386.deb
2014-09-08 03:57
3.6M
agda-bin_2.5.1.1-3+b3_amd64.deb
2016-11-10 12:40
5.9M
agda-bin_2.5.1.1-3+b3_arm64.deb
2016-11-10 13:10
11M
agda-bin_2.5.1.1-3+b3_i386.deb
2016-11-10 12:00
6.0M
agda-bin_2.5.1.1-3+b3_s390x.deb
2016-11-10 13:30
21M
agda-bin_2.5.1.1-3_mips64el.deb
2016-11-19 19:28
9.5M
agda-bin_2.5.4.1-3+b1_amd64.deb
2018-12-04 05:59
5.6M
agda-bin_2.5.4.1-3+b1_arm64.deb
2018-12-04 08:27
6.5M
agda-bin_2.5.4.1-3+b1_i386.deb
2018-12-04 05:43
5.7M
agda-bin_2.5.4.1-3+b1_mips.deb
2018-12-06 14:59
9.3M
agda-bin_2.5.4.1-3+b1_mips64el.deb
2018-12-23 08:59
11M
agda-bin_2.5.4.1-3+b1_mipsel.deb
2018-12-24 07:25
9.6M
agda-bin_2.5.4.1-3+b1_ppc64el.deb
2018-12-04 05:43
7.6M
agda-bin_2.5.4.1-3+b1_s390x.deb
2018-12-04 05:54
13M
agda-bin_2.6.1-1+b2_amd64.deb
2020-08-19 15:59
8.5M
agda-bin_2.6.1-1+b2_arm64.deb
2020-08-19 17:57
9.9M
agda-bin_2.6.1-1+b2_i386.deb
2020-08-19 18:58
8.6M
agda-bin_2.6.1-1+b2_ppc64el.deb
2020-08-19 19:59
12M
agda-bin_2.6.1-1+b3_amd64.deb
2021-10-03 06:12
8.5M
agda-bin_2.6.1-1+b3_arm64.deb
2021-10-03 10:29
9.9M
agda-bin_2.6.1-1+b3_i386.deb
2021-10-03 06:28
8.6M
agda-bin_2.6.1-1+b3_ppc64el.deb
2021-10-03 07:28
12M
agda-bin_2.6.1-1+b3_s390x.deb
2020-08-19 20:40
23M
agda-bin_2.6.1-1+b4_s390x.deb
2021-10-03 07:53
23M
agda-bin_2.6.2.2-1+b1_amd64.deb
2022-09-26 04:28
7.4M
agda-bin_2.6.2.2-1+b1_mips64el.deb
2022-10-01 05:29
15M
agda-bin_2.6.2.2-1+b1_ppc64el.deb
2022-09-26 17:57
10M
agda-bin_2.6.2.2-1+b1_s390x.deb
2022-09-27 15:24
19M
agda-bin_2.6.2.2-1+b2_amd64.deb
2022-10-23 05:27
7.4M
agda-bin_2.6.2.2-1+b2_mips64el.deb
2022-11-01 05:15
15M
agda-bin_2.6.2.2-1+b2_ppc64el.deb
2022-10-27 20:13
10M
agda-bin_2.6.2.2-1+b2_s390x.deb
2022-10-28 05:54
19M
agda-bin_2.6.2.2-1+b3_amd64.deb
2022-10-24 18:43
7.4M
agda-bin_2.6.2.2-1+b4_amd64.deb
2022-10-27 06:27
7.4M
agda-bin_2.6.2.2-1.1_amd64.deb
2022-12-06 12:57
7.4M
agda-bin_2.6.2.2-1.1_mips64el.deb
2022-12-06 17:12
15M
agda-bin_2.6.2.2-1.1_ppc64el.deb
2022-12-06 13:28
10M
agda-bin_2.6.2.2-1.1_riscv64.deb
2023-08-31 05:37
16M
agda-bin_2.6.2.2-1.1_s390x.deb
2022-12-06 13:38
19M
agda-bin_2.6.2.2-1_amd64.deb
2022-08-06 14:11
7.4M
agda-bin_2.6.2.2-1_mips64el.deb
2022-08-06 19:12
15M
agda-bin_2.6.2.2-1_ppc64el.deb
2022-08-06 15:26
10M
agda-bin_2.6.2.2-1_s390x.deb
2022-08-06 15:01
19M
agda-bin_2.6.3-1+b1_amd64.deb
2023-10-21 18:42
9.8M
agda-bin_2.6.3-1+b1_arm64.deb
2023-10-22 17:29
9.8M
agda-bin_2.6.3-1+b1_i386.deb
2024-04-13 15:29
15M
agda-bin_2.6.3-1+b1_mips64el.deb
2024-04-14 04:45
15M
agda-bin_2.6.3-1+b1_ppc64el.deb
2023-10-23 06:57
11M
agda-bin_2.6.3-1+b1_riscv64.deb
2023-12-28 15:04
11M
agda-bin_2.6.3-1+b1_s390x.deb
2024-04-13 14:22
14M
agda-bin_2.6.3-1+b2_amd64.deb
2023-10-30 12:22
9.8M
agda-bin_2.6.3-1+b2_arm64.deb
2024-04-13 16:10
9.8M
agda-bin_2.6.3-1+b2_ppc64el.deb
2023-10-30 12:57
11M
agda-bin_2.6.3-1+b2_riscv64.deb
2024-04-17 04:03
11M
agda-bin_2.6.3-1+b3_amd64.deb
2024-04-13 13:30
9.8M
agda-bin_2.6.3-1+b3_ppc64el.deb
2024-04-13 13:51
11M
agda-bin_2.6.3-1_amd64.deb
2023-10-13 12:40
8.0M
agda-bin_2.6.3-1_arm64.deb
2023-10-13 13:10
8.1M
agda-bin_2.6.3-1_i386.deb
2023-10-30 13:12
15M
agda-bin_2.6.3-1_mips64el.deb
2023-11-09 12:43
15M
agda-bin_2.6.3-1_ppc64el.deb
2023-10-13 12:55
11M
agda-bin_2.6.3-1_riscv64.deb
2023-10-31 13:22
11M
agda-bin_2.6.3-1_s390x.deb
2023-10-30 11:47
14M
agda-mode_2.4.0.2-2_all.deb
2014-08-11 07:28
86K
agda-mode_2.5.1.1-3_all.deb
2016-10-28 20:56
78K
agda-mode_2.5.4.1-3_all.deb
2018-10-20 17:57
115K
agda_2.4.0.2-2.debian.tar.xz
2014-08-11 07:28
7.2K
agda_2.4.0.2-2.dsc
2014-08-11 07:28
3.8K
agda_2.4.0.2-2_all.deb
2014-08-11 07:28
55K
agda_2.4.0.2.orig.tar.gz
2014-08-05 05:23
889K
agda_2.5.1.1-3.debian.tar.xz
2016-10-27 20:24
8.8K
agda_2.5.1.1-3.dsc
2016-10-27 20:24
4.1K
agda_2.5.1.1-3_all.deb
2016-10-28 20:56
78K
agda_2.5.1.1.orig.tar.gz
2016-10-16 16:43
1.1M
agda_2.5.4.1-3.debian.tar.xz
2018-10-20 16:41
9.7K
agda_2.5.4.1-3.dsc
2018-10-20 16:41
3.8K
agda_2.5.4.1-3_all.deb
2018-10-20 17:57
115K
agda_2.5.4.1.orig.tar.gz
2018-09-30 06:54
1.9M
agda_2.6.1-1.debian.tar.xz
2020-07-29 11:40
9.8K
agda_2.6.1-1.dsc
2020-07-29 11:40
4.1K
agda_2.6.1-1_all.deb
2020-07-29 12:40
28K
agda_2.6.1.orig.tar.gz
2020-07-29 11:40
2.5M
agda_2.6.2.2-1.1.debian.tar.xz
2022-12-06 11:40
10K
agda_2.6.2.2-1.1.dsc
2022-12-06 11:40
4.3K
agda_2.6.2.2-1.1_all.deb
2022-12-06 12:41
12K
agda_2.6.2.2-1.debian.tar.xz
2022-08-06 13:04
10K
agda_2.6.2.2-1.dsc
2022-08-06 13:04
4.3K
agda_2.6.2.2-1_all.deb
2022-08-06 14:05
17K
agda_2.6.2.2.orig.tar.gz
2022-08-06 13:04
1.6M
agda_2.6.3-1.debian.tar.xz
2023-10-13 11:34
11K
agda_2.6.3-1.dsc
2023-10-13 11:34
4.8K
agda_2.6.3-1_all.deb
2023-10-13 12:30
20K
agda_2.6.3.orig.tar.gz
2023-10-13 11:34
1.7M
elpa-agda2-mode_2.5.1.1-3_all.deb
2016-10-28 20:56
113K
elpa-agda2-mode_2.5.4.1-3_all.deb
2018-10-20 17:57
152K
elpa-agda2-mode_2.6.1-1_all.deb
2020-07-29 12:40
65K
elpa-agda2-mode_2.6.2.2-1.1_all.deb
2022-12-06 12:41
50K
elpa-agda2-mode_2.6.2.2-1_all.deb
2022-08-06 14:05
55K
elpa-agda2-mode_2.6.3-1_all.deb
2023-10-13 12:30
58K
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb
2014-09-07 14:27
9.3M
libghc-agda-dev_2.4.0.2-2+b1_i386.deb
2014-09-08 03:57
9.2M
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb
2016-11-10 12:40
12M
libghc-agda-dev_2.5.1.1-3+b3_arm64.deb
2016-11-10 13:10
19M
libghc-agda-dev_2.5.1.1-3+b3_i386.deb
2016-11-10 12:00
14M
libghc-agda-dev_2.5.1.1-3+b3_s390x.deb
2016-11-10 13:30
25M
libghc-agda-dev_2.5.1.1-3_mips64el.deb
2016-11-19 19:28
18M
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb
2018-12-04 05:59
16M
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb
2018-12-04 08:27
19M
libghc-agda-dev_2.5.4.1-3+b1_i386.deb
2018-12-04 05:43
16M
libghc-agda-dev_2.5.4.1-3+b1_mips.deb
2018-12-06 14:59
21M
libghc-agda-dev_2.5.4.1-3+b1_mips64el.deb
2018-12-23 08:59
23M
libghc-agda-dev_2.5.4.1-3+b1_mipsel.deb
2018-12-24 07:25
22M
libghc-agda-dev_2.5.4.1-3+b1_ppc64el.deb
2018-12-04 05:43
23M
libghc-agda-dev_2.5.4.1-3+b1_s390x.deb
2018-12-04 05:54
25M
libghc-agda-dev_2.6.1-1+b2_amd64.deb
2020-08-19 15:59
36M
libghc-agda-dev_2.6.1-1+b2_arm64.deb
2020-08-19 17:57
43M
libghc-agda-dev_2.6.1-1+b2_i386.deb
2020-08-19 18:58
36M
libghc-agda-dev_2.6.1-1+b2_ppc64el.deb
2020-08-19 19:59
53M
libghc-agda-dev_2.6.1-1+b3_amd64.deb
2021-10-03 06:12
36M
libghc-agda-dev_2.6.1-1+b3_arm64.deb
2021-10-03 10:29
43M
libghc-agda-dev_2.6.1-1+b3_i386.deb
2021-10-03 06:28
36M
libghc-agda-dev_2.6.1-1+b3_ppc64el.deb
2021-10-03 07:28
53M
libghc-agda-dev_2.6.1-1+b3_s390x.deb
2020-08-19 20:40
55M
libghc-agda-dev_2.6.1-1+b4_s390x.deb
2021-10-03 07:53
55M
libghc-agda-dev_2.6.2.2-1+b1_amd64.deb
2022-09-26 04:28
24M
libghc-agda-dev_2.6.2.2-1+b1_mips64el.deb
2022-10-01 05:29
35M
libghc-agda-dev_2.6.2.2-1+b1_ppc64el.deb
2022-09-26 17:57
34M
libghc-agda-dev_2.6.2.2-1+b1_s390x.deb
2022-09-27 15:24
38M
libghc-agda-dev_2.6.2.2-1+b2_amd64.deb
2022-10-23 05:27
24M
libghc-agda-dev_2.6.2.2-1+b2_mips64el.deb
2022-11-01 05:15
35M
libghc-agda-dev_2.6.2.2-1+b2_ppc64el.deb
2022-10-27 20:13
35M
libghc-agda-dev_2.6.2.2-1+b2_s390x.deb
2022-10-28 05:54
38M
libghc-agda-dev_2.6.2.2-1+b3_amd64.deb
2022-10-24 18:43
24M
libghc-agda-dev_2.6.2.2-1+b4_amd64.deb
2022-10-27 06:27
24M
libghc-agda-dev_2.6.2.2-1.1_amd64.deb
2022-12-06 12:57
24M
libghc-agda-dev_2.6.2.2-1.1_mips64el.deb
2022-12-06 17:12
35M
libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb
2022-12-06 13:28
35M
libghc-agda-dev_2.6.2.2-1.1_riscv64.deb
2023-08-31 05:37
55M
libghc-agda-dev_2.6.2.2-1.1_s390x.deb
2022-12-06 13:38
38M
libghc-agda-dev_2.6.2.2-1_amd64.deb
2022-08-06 14:11
24M
libghc-agda-dev_2.6.2.2-1_mips64el.deb
2022-08-06 19:12
35M
libghc-agda-dev_2.6.2.2-1_ppc64el.deb
2022-08-06 15:26
35M
libghc-agda-dev_2.6.2.2-1_s390x.deb
2022-08-06 15:01
38M
libghc-agda-dev_2.6.3-1+b1_amd64.deb
2023-10-21 18:42
23M
libghc-agda-dev_2.6.3-1+b1_arm64.deb
2023-10-22 17:29
24M
libghc-agda-dev_2.6.3-1+b1_i386.deb
2024-04-13 15:29
37M
libghc-agda-dev_2.6.3-1+b1_mips64el.deb
2024-04-14 04:45
33M
libghc-agda-dev_2.6.3-1+b1_ppc64el.deb
2023-10-23 06:57
33M
libghc-agda-dev_2.6.3-1+b1_riscv64.deb
2023-12-28 15:04
37M
libghc-agda-dev_2.6.3-1+b1_s390x.deb
2024-04-13 14:22
33M
libghc-agda-dev_2.6.3-1+b2_amd64.deb
2023-10-30 12:22
23M
libghc-agda-dev_2.6.3-1+b2_arm64.deb
2024-04-13 16:10
24M
libghc-agda-dev_2.6.3-1+b2_ppc64el.deb
2023-10-30 12:57
33M
libghc-agda-dev_2.6.3-1+b2_riscv64.deb
2024-04-17 04:03
37M
libghc-agda-dev_2.6.3-1+b3_amd64.deb
2024-04-13 13:30
23M
libghc-agda-dev_2.6.3-1+b3_ppc64el.deb
2024-04-13 13:51
33M
libghc-agda-dev_2.6.3-1_amd64.deb
2023-10-13 12:40
23M
libghc-agda-dev_2.6.3-1_arm64.deb
2023-10-13 13:10
24M
libghc-agda-dev_2.6.3-1_i386.deb
2023-10-30 13:12
37M
libghc-agda-dev_2.6.3-1_mips64el.deb
2023-11-09 12:43
33M
libghc-agda-dev_2.6.3-1_ppc64el.deb
2023-10-13 12:55
33M
libghc-agda-dev_2.6.3-1_riscv64.deb
2023-10-31 13:22
37M
libghc-agda-dev_2.6.3-1_s390x.deb
2023-10-30 11:47
32M
libghc-agda-doc_2.4.0.2-2_all.deb
2014-08-11 07:28
1.9M
libghc-agda-doc_2.5.1.1-3_all.deb
2016-10-28 20:56
2.5M
libghc-agda-doc_2.5.4.1-3_all.deb
2018-10-20 17:57
3.6M
libghc-agda-doc_2.6.1-1_all.deb
2020-07-29 12:40
5.5M
libghc-agda-doc_2.6.2.2-1.1_all.deb
2022-12-06 12:41
6.3M
libghc-agda-doc_2.6.2.2-1_all.deb
2022-08-06 14:05
6.3M
libghc-agda-doc_2.6.3-1_all.deb
2023-10-13 12:30
6.6M