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-11-14 19:00:10
agda-bin_2.5.4.1-3+b1_amd64.deb
5.60MB
2018-12-04 10:59:05
agda-bin_2.5.4.1-3+b1_arm64.deb
6.47MB
2018-12-04 13:27:43
agda-bin_2.5.4.1-3+b1_i386.deb
5.67MB
2018-12-04 10:43:51
agda-bin_2.6.1-1+b2_amd64.deb
8.50MB
2020-08-19 19:59:36
agda-bin_2.6.1-1+b2_arm64.deb
9.89MB
2020-08-19 21:57:18
agda-bin_2.6.1-1+b2_i386.deb
8.55MB
2020-08-19 22:58:58
agda-bin_2.6.1-1+b2_ppc64el.deb
11.75MB
2020-08-19 23:59:44
agda-bin_2.6.1-1+b3_s390x.deb
22.73MB
2020-08-20 00:40:11
agda-bin_2.6.2.2-1.1_amd64.deb
7.39MB
2022-12-06 17:57:33
agda-bin_2.6.2.2-1.1_mips64el.deb
14.58MB
2022-12-06 22:12:35
agda-bin_2.6.2.2-1.1_ppc64el.deb
10.12MB
2022-12-06 18:28:02
agda-bin_2.6.2.2-1.1_s390x.deb
19.27MB
2022-12-06 18:38:05
agda-bin_2.6.4.3-1+b1_armel.deb
13.33MB
2024-10-17 02:06:51
agda-bin_2.6.4.3-1+b1_i386.deb
14.06MB
2024-10-16 23:33:17
agda-bin_2.6.4.3-1+b1_mips64el.deb
14.01MB
2024-10-18 11:20:16
agda-bin_2.6.4.3-1_amd64.deb
9.40MB
2024-10-08 11:17:55
agda-bin_2.6.4.3-1_arm64.deb
9.42MB
2024-10-08 13:27:41
agda-bin_2.6.4.3-1_ppc64el.deb
9.02MB
2024-10-08 11:44:47
agda-bin_2.6.4.3-1_s390x.deb
18.86MB
2024-10-08 11:44:37
agda-mode_2.5.4.1-3_all.deb
114.92KB
2018-10-20 21:57:49
agda_2.5.4.1-3.debian.tar.xz
9.70KB
2018-10-20 20:41:45
agda_2.5.4.1-3.dsc
3.78KB
2018-10-20 20:41:45
agda_2.5.4.1-3_all.deb
115.34KB
2018-10-20 21:57:49
agda_2.5.4.1.orig.tar.gz
1.90MB
2018-09-30 10:54:26
agda_2.6.1-1.debian.tar.xz
9.82KB
2020-07-29 15:40:18
agda_2.6.1-1.dsc
4.09KB
2020-07-29 15:40:18
agda_2.6.1-1_all.deb
28.06KB
2020-07-29 16:40:53
agda_2.6.1.orig.tar.gz
2.52MB
2020-07-29 15:40:18
agda_2.6.2.2-1.1.debian.tar.xz
10.25KB
2022-12-06 16:40:51
agda_2.6.2.2-1.1.dsc
4.32KB
2022-12-06 16:40:51
agda_2.6.2.2-1.1_all.deb
12.02KB
2022-12-06 17:41:56
agda_2.6.2.2.orig.tar.gz
1.61MB
2022-08-06 17:04:45
agda_2.6.4.3-1.debian.tar.xz
10.21KB
2024-10-08 10:41:50
agda_2.6.4.3-1.dsc
5.08KB
2024-10-08 10:41:50
agda_2.6.4.3-1_all.deb
11.86KB
2024-10-08 11:23:12
agda_2.6.4.3.orig.tar.gz
1.78MB
2024-10-08 10:41:50
elpa-agda2-mode_2.5.4.1-3_all.deb
151.80KB
2018-10-20 21:57:49
elpa-agda2-mode_2.6.1-1_all.deb
65.25KB
2020-07-29 16:40:53
elpa-agda2-mode_2.6.2.2-1.1_all.deb
49.75KB
2022-12-06 17:41:56
elpa-agda2-mode_2.6.4.3-1_all.deb
50.11KB
2024-10-08 11:23:12
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb
16.38MB
2018-12-04 10:59:05
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb
18.82MB
2018-12-04 13:27:43
libghc-agda-dev_2.5.4.1-3+b1_i386.deb
16.02MB
2018-12-04 10:43:52
libghc-agda-dev_2.6.1-1+b2_amd64.deb
36.19MB
2020-08-19 19:59:36
libghc-agda-dev_2.6.1-1+b2_arm64.deb
42.74MB
2020-08-19 21:57:18
libghc-agda-dev_2.6.1-1+b2_i386.deb
36.33MB
2020-08-19 22:58:58
libghc-agda-dev_2.6.1-1+b2_ppc64el.deb
53.28MB
2020-08-19 23:59:45
libghc-agda-dev_2.6.1-1+b3_s390x.deb
55.30MB
2020-08-20 00:40:11
libghc-agda-dev_2.6.2.2-1.1_amd64.deb
23.70MB
2022-12-06 17:57:33
libghc-agda-dev_2.6.2.2-1.1_mips64el.deb
34.79MB
2022-12-06 22:12:36
libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb
34.53MB
2022-12-06 18:28:02
libghc-agda-dev_2.6.2.2-1.1_s390x.deb
37.74MB
2022-12-06 18:38:05
libghc-agda-dev_2.6.4.3-1+b1_armel.deb
29.76MB
2024-10-17 02:06:51
libghc-agda-dev_2.6.4.3-1+b1_i386.deb
35.63MB
2024-10-16 23:33:17
libghc-agda-dev_2.6.4.3-1+b1_mips64el.deb
32.29MB
2024-10-18 11:20:16
libghc-agda-dev_2.6.4.3-1_amd64.deb
21.79MB
2024-10-08 11:17:55
libghc-agda-dev_2.6.4.3-1_arm64.deb
23.33MB
2024-10-08 13:27:41
libghc-agda-dev_2.6.4.3-1_ppc64el.deb
29.08MB
2024-10-08 11:44:47
libghc-agda-dev_2.6.4.3-1_s390x.deb
38.61MB
2024-10-08 11:44:37
libghc-agda-doc_2.5.4.1-3_all.deb
3.62MB
2018-10-20 21:57:49
libghc-agda-doc_2.6.1-1_all.deb
5.53MB
2020-07-29 16:40:53
libghc-agda-doc_2.6.2.2-1.1_all.deb
6.29MB
2022-12-06 17:41:56
libghc-agda-doc_2.6.4.3-1_all.deb
7.14MB
2024-10-08 11:23:12