|
Parent Directory/
|
|
- |
agda-bin_2.6.1-1+b2_amd64.deb
|
2020-08-19 19:59
|
8.5M
|
agda-bin_2.6.1-1+b2_arm64.deb
|
2020-08-19 21:57
|
9.9M
|
agda-bin_2.6.1-1+b2_i386.deb
|
2020-08-19 22:58
|
8.6M
|
agda-bin_2.6.2.2-1.1_amd64.deb
|
2022-12-06 17:57
|
7.4M
|
agda-bin_2.6.4.3-1+b2_amd64.deb
|
2025-02-01 22:54
|
9.4M
|
agda-bin_2.6.4.3-1+b2_arm64.deb
|
2025-02-14 12:31
|
9.4M
|
agda-bin_2.6.4.3-1+b2_i386.deb
|
2025-02-14 10:53
|
14.1M
|
agda_2.6.1-1.debian.tar.xz
|
2020-07-29 15:40
|
9.8K
|
agda_2.6.1-1.dsc
|
2020-07-29 15:40
|
4.1K
|
agda_2.6.1-1_all.deb
|
2020-07-29 16:40
|
28.1K
|
agda_2.6.1.orig.tar.gz
|
2020-07-29 15:40
|
2.5M
|
agda_2.6.2.2-1.1.debian.tar.xz
|
2022-12-06 16:40
|
10.3K
|
agda_2.6.2.2-1.1.dsc
|
2022-12-06 16:40
|
4.3K
|
agda_2.6.2.2-1.1_all.deb
|
2022-12-06 17:41
|
12.0K
|
agda_2.6.2.2.orig.tar.gz
|
2022-08-06 17:04
|
1.6M
|
agda_2.6.4.3-1.debian.tar.xz
|
2024-10-08 10:41
|
10.2K
|
agda_2.6.4.3-1.dsc
|
2024-10-08 10:41
|
5.1K
|
agda_2.6.4.3-1_all.deb
|
2024-10-08 11:23
|
11.9K
|
agda_2.6.4.3.orig.tar.gz
|
2024-10-08 10:41
|
1.8M
|
elpa-agda2-mode_2.6.1-1_all.deb
|
2020-07-29 16:40
|
65.3K
|
elpa-agda2-mode_2.6.2.2-1.1_all.deb
|
2022-12-06 17:41
|
49.8K
|
elpa-agda2-mode_2.6.4.3-1_all.deb
|
2024-10-08 11:23
|
50.1K
|
libghc-agda-dev_2.6.1-1+b2_amd64.deb
|
2020-08-19 19:59
|
36.2M
|
libghc-agda-dev_2.6.1-1+b2_arm64.deb
|
2020-08-19 21:57
|
42.7M
|
libghc-agda-dev_2.6.1-1+b2_i386.deb
|
2020-08-19 22:58
|
36.3M
|
libghc-agda-dev_2.6.2.2-1.1_amd64.deb
|
2022-12-06 17:57
|
23.7M
|
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb
|
2025-02-01 22:54
|
21.8M
|
libghc-agda-dev_2.6.4.3-1+b2_arm64.deb
|
2025-02-14 12:31
|
23.3M
|
libghc-agda-dev_2.6.4.3-1+b2_i386.deb
|
2025-02-14 10:53
|
35.6M
|
libghc-agda-doc_2.6.1-1_all.deb
|
2020-07-29 16:40
|
5.5M
|
libghc-agda-doc_2.6.2.2-1.1_all.deb
|
2022-12-06 17:41
|
6.3M
|
libghc-agda-doc_2.6.4.3-1_all.deb
|
2024-10-08 11:23
|
7.1M
|