|
📁 ../
|
- |
- |
|
📄 agda-bin_2.6.2.2-1.1_amd64.deb
|
7751992 bytes
|
2022-12-06 17:57:33 |
|
📄 agda-bin_2.6.4.3-1+b2_amd64.deb
|
9846396 bytes
|
2025-02-01 22:54:53 |
|
📄 agda-bin_2.6.4.3-1+b2_arm64.deb
|
9868676 bytes
|
2025-02-14 12:31:07 |
|
📄 agda-bin_2.6.4.3-1_riscv64.deb
|
13093504 bytes
|
2024-10-09 00:41:36 |
|
📄 agda_2.6.2.2-1.1.debian.tar.xz
|
10496 bytes
|
2022-12-06 16:40:51 |
|
📄 agda_2.6.2.2-1.1.dsc
|
4426 bytes
|
2022-12-06 16:40:51 |
|
📄 agda_2.6.2.2-1.1_all.deb
|
12304 bytes
|
2022-12-06 17:41:56 |
|
📄 agda_2.6.2.2.orig.tar.gz
|
1690635 bytes
|
2022-08-06 17:04:45 |
|
📄 agda_2.6.4.3-1.debian.tar.xz
|
10460 bytes
|
2024-10-08 10:41:50 |
|
📄 agda_2.6.4.3-1.dsc
|
5197 bytes
|
2024-10-08 10:41:50 |
|
📄 agda_2.6.4.3-1_all.deb
|
12148 bytes
|
2024-10-08 11:23:12 |
|
📄 agda_2.6.4.3.orig.tar.gz
|
1869461 bytes
|
2024-10-08 10:41:50 |
|
📄 elpa-agda2-mode_2.6.2.2-1.1_all.deb
|
50944 bytes
|
2022-12-06 17:41:56 |
|
📄 elpa-agda2-mode_2.6.4.3-1_all.deb
|
51316 bytes
|
2024-10-08 11:23:12 |
|
📄 libghc-agda-dev_2.6.2.2-1.1_amd64.deb
|
24853036 bytes
|
2022-12-06 17:57:33 |
|
📄 libghc-agda-dev_2.6.4.3-1+b2_amd64.deb
|
22821040 bytes
|
2025-02-01 22:54:53 |
|
📄 libghc-agda-dev_2.6.4.3-1+b2_arm64.deb
|
24469636 bytes
|
2025-02-14 12:31:07 |
|
📄 libghc-agda-dev_2.6.4.3-1_riscv64.deb
|
41660392 bytes
|
2024-10-09 00:41:36 |
|
📄 libghc-agda-doc_2.6.2.2-1.1_all.deb
|
6599972 bytes
|
2022-12-06 17:41:56 |
|
📄 libghc-agda-doc_2.6.4.3-1_all.deb
|
7489680 bytes
|
2024-10-08 11:23:12 |