Directory listing of https://mirror.biznetgio.com/debian/pool/main/a/agda
mirror.biznetgio.com
/
debian
/
pool
/
main
/
a
/
agda
File
Size
Last Modified
..
-
2026-02-26 11:00:21
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.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.4.3-1+b1_armel.deb
13.33MB
2024-10-17 02:06:51
agda-bin_2.6.4.3-1+b2_amd64.deb
9.39MB
2025-02-01 22:54:53
agda-bin_2.6.4.3-1+b2_arm64.deb
9.41MB
2025-02-14 12:31:07
agda-bin_2.6.4.3-1+b2_i386.deb
14.07MB
2025-02-14 10:53:31
agda-bin_2.6.4.3-1_ppc64el.deb
9.02MB
2024-10-08 11:44:47
agda-bin_2.8.0-2_amd64.deb
9.81MB
2026-02-15 15:07:45
agda-bin_2.8.0-2_arm64.deb
9.86MB
2026-02-15 15:07:41
agda-bin_2.8.0-2_i386.deb
9.70MB
2026-02-15 15:07:32
agda-bin_2.8.0-2_ppc64el.deb
10.86MB
2026-02-15 15:33:08
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
agda_2.8.0-2.debian.tar.xz
10.38KB
2026-02-15 14:11:42
agda_2.8.0-2.dsc
5.80KB
2026-02-15 14:11:42
agda_2.8.0-2_all.deb
16.99KB
2026-02-15 15:07:40
agda_2.8.0.orig.tar.gz
1.86MB
2026-02-14 17:37:01
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
elpa-agda2-mode_2.8.0-2_all.deb
56.30KB
2026-02-15 15:07:40
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.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.4.3-1+b1_armel.deb
29.76MB
2024-10-17 02:06:51
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb
21.76MB
2025-02-01 22:54:53
libghc-agda-dev_2.6.4.3-1+b2_arm64.deb
23.34MB
2025-02-14 12:31:07
libghc-agda-dev_2.6.4.3-1+b2_i386.deb
35.61MB
2025-02-14 10:53:31
libghc-agda-dev_2.6.4.3-1_ppc64el.deb
29.08MB
2024-10-08 11:44:47
libghc-agda-dev_2.8.0-2_amd64.deb
35.92MB
2026-02-15 15:07:45
libghc-agda-dev_2.8.0-2_arm64.deb
38.21MB
2026-02-15 15:07:41
libghc-agda-dev_2.8.0-2_i386.deb
36.40MB
2026-02-15 15:07:32
libghc-agda-dev_2.8.0-2_ppc64el.deb
46.52MB
2026-02-15 15:33:08
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
libghc-agda-doc_2.8.0-2_all.deb
7.23MB
2026-02-15 15:07:40