|
📁 ../
|
- |
- |
|
📄 agda_2.6.1-1.debian.tar.xz
|
10060 bytes
|
2020-07-29 15:40:18 |
|
📄 agda_2.6.1-1.dsc
|
4186 bytes
|
2020-07-29 15:40:18 |
|
📄 agda_2.6.1-1_all.deb
|
28736 bytes
|
2020-07-29 16:40:53 |
|
📄 agda_2.6.1.orig.tar.gz
|
2646289 bytes
|
2020-07-29 15:40:18 |
|
📄 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.1-1_all.deb
|
66816 bytes
|
2020-07-29 16:40:53 |
|
📄 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-doc_2.6.1-1_all.deb
|
5799636 bytes
|
2020-07-29 16:40:53 |
|
📄 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 |