Directory listing of http://mirror.biznetgio.com/debian/pool/main/a/agda
mirror.biznetgio.com
/
debian
/
pool
/
main
/
a
/
agda
File
Size
Last Modified
..
-
2024-04-12 01:00:09
agda-bin_2.5.4.1-3+b1_amd64.deb
5.60MB
2018-12-04 17:59:05
agda-bin_2.5.4.1-3+b1_arm64.deb
6.47MB
2018-12-04 20:27:43
agda-bin_2.5.4.1-3+b1_i386.deb
5.67MB
2018-12-04 17:43:51
agda-bin_2.5.4.1-3+b1_mips64el.deb
10.68MB
2018-12-23 20:59:52
agda-bin_2.5.4.1-3+b1_mipsel.deb
9.57MB
2018-12-24 19:25:57
agda-bin_2.5.4.1-3+b1_ppc64el.deb
7.60MB
2018-12-04 17:43:59
agda-bin_2.5.4.1-3+b1_s390x.deb
12.60MB
2018-12-04 17:54:02
agda-bin_2.6.1-1+b2_amd64.deb
8.50MB
2020-08-20 02:59:36
agda-bin_2.6.1-1+b2_arm64.deb
9.89MB
2020-08-20 04:57:18
agda-bin_2.6.1-1+b2_i386.deb
8.55MB
2020-08-20 05:58:58
agda-bin_2.6.1-1+b2_ppc64el.deb
11.75MB
2020-08-20 06:59:44
agda-bin_2.6.1-1+b3_s390x.deb
22.73MB
2020-08-20 07:40:11
agda-bin_2.6.2.2-1.1_amd64.deb
7.39MB
2022-12-07 00:57:33
agda-bin_2.6.2.2-1.1_mips64el.deb
14.58MB
2022-12-07 05:12:35
agda-bin_2.6.2.2-1.1_ppc64el.deb
10.12MB
2022-12-07 01:28:02
agda-bin_2.6.2.2-1.1_s390x.deb
19.27MB
2022-12-07 01:38:05
agda-bin_2.6.3-1+b1_arm64.deb
9.83MB
2023-10-23 04:29:47
agda-bin_2.6.3-1+b1_i386.deb
14.66MB
2024-04-14 02:29:18
agda-bin_2.6.3-1+b1_mips64el.deb
15.33MB
2024-04-14 15:45:59
agda-bin_2.6.3-1+b1_s390x.deb
14.10MB
2024-04-14 01:22:04
agda-bin_2.6.3-1+b2_amd64.deb
9.78MB
2023-10-30 23:22:28
agda-bin_2.6.3-1+b2_arm64.deb
9.83MB
2024-04-14 03:10:46
agda-bin_2.6.3-1+b2_ppc64el.deb
10.88MB
2023-10-30 23:57:37
agda-bin_2.6.3-1+b3_amd64.deb
9.78MB
2024-04-14 00:30:38
agda-bin_2.6.3-1+b3_ppc64el.deb
10.90MB
2024-04-14 00:51:08
agda-bin_2.6.3-1_i386.deb
14.64MB
2023-10-31 00:12:46
agda-bin_2.6.3-1_mips64el.deb
15.33MB
2023-11-10 00:43:54
agda-bin_2.6.3-1_s390x.deb
14.06MB
2023-10-30 22:47:20
agda-mode_2.5.4.1-3_all.deb
114.92KB
2018-10-21 04:57:49
agda_2.5.4.1-3.debian.tar.xz
9.70KB
2018-10-21 03:41:45
agda_2.5.4.1-3.dsc
3.78KB
2018-10-21 03:41:45
agda_2.5.4.1-3_all.deb
115.34KB
2018-10-21 04:57:49
agda_2.5.4.1.orig.tar.gz
1.90MB
2018-09-30 17:54:26
agda_2.6.1-1.debian.tar.xz
9.82KB
2020-07-29 22:40:18
agda_2.6.1-1.dsc
4.09KB
2020-07-29 22:40:18
agda_2.6.1-1_all.deb
28.06KB
2020-07-29 23:40:53
agda_2.6.1.orig.tar.gz
2.52MB
2020-07-29 22:40:18
agda_2.6.2.2-1.1.debian.tar.xz
10.25KB
2022-12-06 23:40:51
agda_2.6.2.2-1.1.dsc
4.32KB
2022-12-06 23:40:51
agda_2.6.2.2-1.1_all.deb
12.02KB
2022-12-07 00:41:56
agda_2.6.2.2.orig.tar.gz
1.61MB
2022-08-07 00:04:45
agda_2.6.3-1.debian.tar.xz
11.33KB
2023-10-13 22:34:30
agda_2.6.3-1.dsc
4.83KB
2023-10-13 22:34:30
agda_2.6.3-1_all.deb
19.66KB
2023-10-13 23:30:22
agda_2.6.3.orig.tar.gz
1.71MB
2023-10-13 22:34:30
elpa-agda2-mode_2.5.4.1-3_all.deb
151.80KB
2018-10-21 04:57:49
elpa-agda2-mode_2.6.1-1_all.deb
65.25KB
2020-07-29 23:40:53
elpa-agda2-mode_2.6.2.2-1.1_all.deb
49.75KB
2022-12-07 00:41:56
elpa-agda2-mode_2.6.3-1_all.deb
57.87KB
2023-10-13 23:30:22
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb
16.38MB
2018-12-04 17:59:05
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb
18.82MB
2018-12-04 20:27:43
libghc-agda-dev_2.5.4.1-3+b1_i386.deb
16.02MB
2018-12-04 17:43:52
libghc-agda-dev_2.5.4.1-3+b1_mips64el.deb
23.40MB
2018-12-23 20:59:52
libghc-agda-dev_2.5.4.1-3+b1_mipsel.deb
21.96MB
2018-12-24 19:25:57
libghc-agda-dev_2.5.4.1-3+b1_ppc64el.deb
23.40MB
2018-12-04 17:43:59
libghc-agda-dev_2.5.4.1-3+b1_s390x.deb
24.78MB
2018-12-04 17:54:02
libghc-agda-dev_2.6.1-1+b2_amd64.deb
36.19MB
2020-08-20 02:59:36
libghc-agda-dev_2.6.1-1+b2_arm64.deb
42.74MB
2020-08-20 04:57:18
libghc-agda-dev_2.6.1-1+b2_i386.deb
36.33MB
2020-08-20 05:58:58
libghc-agda-dev_2.6.1-1+b2_ppc64el.deb
53.28MB
2020-08-20 06:59:45
libghc-agda-dev_2.6.1-1+b3_s390x.deb
55.30MB
2020-08-20 07:40:11
libghc-agda-dev_2.6.2.2-1.1_amd64.deb
23.70MB
2022-12-07 00:57:33
libghc-agda-dev_2.6.2.2-1.1_mips64el.deb
34.79MB
2022-12-07 05:12:36
libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb
34.53MB
2022-12-07 01:28:02
libghc-agda-dev_2.6.2.2-1.1_s390x.deb
37.74MB
2022-12-07 01:38:05
libghc-agda-dev_2.6.3-1+b1_arm64.deb
24.25MB
2023-10-23 04:29:47
libghc-agda-dev_2.6.3-1+b1_i386.deb
37.50MB
2024-04-14 02:29:19
libghc-agda-dev_2.6.3-1+b1_mips64el.deb
33.42MB
2024-04-14 15:45:59
libghc-agda-dev_2.6.3-1+b1_s390x.deb
32.59MB
2024-04-14 01:22:04
libghc-agda-dev_2.6.3-1+b2_amd64.deb
22.55MB
2023-10-30 23:22:28
libghc-agda-dev_2.6.3-1+b2_arm64.deb
24.26MB
2024-04-14 03:10:46
libghc-agda-dev_2.6.3-1+b2_ppc64el.deb
32.61MB
2023-10-30 23:57:37
libghc-agda-dev_2.6.3-1+b3_amd64.deb
22.56MB
2024-04-14 00:30:38
libghc-agda-dev_2.6.3-1+b3_ppc64el.deb
32.61MB
2024-04-14 00:51:08
libghc-agda-dev_2.6.3-1_i386.deb
37.50MB
2023-10-31 00:12:46
libghc-agda-dev_2.6.3-1_mips64el.deb
33.42MB
2023-11-10 00:43:54
libghc-agda-dev_2.6.3-1_s390x.deb
32.47MB
2023-10-30 22:47:20
libghc-agda-doc_2.5.4.1-3_all.deb
3.62MB
2018-10-21 04:57:49
libghc-agda-doc_2.6.1-1_all.deb
5.53MB
2020-07-29 23:40:53
libghc-agda-doc_2.6.2.2-1.1_all.deb
6.29MB
2022-12-07 00:41:56
libghc-agda-doc_2.6.3-1_all.deb
6.64MB
2023-10-13 23:30:22