| 📂 Parent Directory | | |
| 📄 agda_2.6.1-1.debian.tar.xz | 2020-07-29 15:40:18 | 9.82 KB |
| 📄 agda_2.6.1-1.dsc | 2020-07-29 15:40:18 | 4.09 KB |
| 📄 agda_2.6.1-1_all.deb | 2020-07-29 16:40:53 | 28.06 KB |
| 📄 agda_2.6.1.orig.tar.gz | 2020-07-29 15:40:18 | 2.52 MB |
| 📄 agda_2.6.2.2-1.1.debian.tar.xz | 2022-12-06 16:40:51 | 10.25 KB |
| 📄 agda_2.6.2.2-1.1.dsc | 2022-12-06 16:40:51 | 4.32 KB |
| 📄 agda_2.6.2.2-1.1_all.deb | 2022-12-06 17:41:56 | 12.02 KB |
| 📄 agda_2.6.2.2.orig.tar.gz | 2022-08-06 17:04:45 | 1.61 MB |
| 📄 agda_2.6.4.3-1.debian.tar.xz | 2024-10-08 10:41:50 | 10.21 KB |
| 📄 agda_2.6.4.3-1.dsc | 2024-10-08 10:41:50 | 5.08 KB |
| 📄 agda_2.6.4.3-1_all.deb | 2024-10-08 11:23:12 | 11.86 KB |
| 📄 agda_2.6.4.3.orig.tar.gz | 2024-10-08 10:41:50 | 1.78 MB |
| 📄 elpa-agda2-mode_2.6.1-1_all.deb | 2020-07-29 16:40:53 | 65.25 KB |
| 📄 elpa-agda2-mode_2.6.2.2-1.1_all.deb | 2022-12-06 17:41:56 | 49.75 KB |
| 📄 elpa-agda2-mode_2.6.4.3-1_all.deb | 2024-10-08 11:23:12 | 50.11 KB |
| 📄 libghc-agda-doc_2.6.1-1_all.deb | 2020-07-29 16:40:53 | 5.53 MB |
| 📄 libghc-agda-doc_2.6.2.2-1.1_all.deb | 2022-12-06 17:41:56 | 6.29 MB |
| 📄 libghc-agda-doc_2.6.4.3-1_all.deb | 2024-10-08 11:23:12 | 7.14 MB |
