|
📁 ../
|
- |
- |
|
📄 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.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.4.3-1_all.deb
|
51316 bytes
|
2024-10-08 11:23:12 |
|
📄 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.4.3-1_all.deb
|
7489680 bytes
|
2024-10-08 11:23:12 |