| 📂 Parent Directory | | |
| 📄 agda-mode_2.5.4.1-3_all.deb | 2018-10-20 21:57:49 | 114.92 KB |
| 📄 agda_2.5.4.1-3.debian.tar.xz | 2018-10-20 20:41:45 | 9.7 KB |
| 📄 agda_2.5.4.1-3.dsc | 2018-10-20 20:41:45 | 3.78 KB |
| 📄 agda_2.5.4.1-3_all.deb | 2018-10-20 21:57:49 | 115.34 KB |
| 📄 agda_2.5.4.1.orig.tar.gz | 2018-09-30 10:54:26 | 1.9 MB |
| 📄 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.5.4.1-3_all.deb | 2018-10-20 21:57:49 | 151.8 KB |
| 📄 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.5.4.1-3_all.deb | 2018-10-20 21:57:49 | 3.62 MB |
| 📄 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 |
