Index of /debian-ports/pool/main/a/agda/
Name
Size
Date
📁 ../
-
-
📄 agda_2.6.4.3-1_all.deb
12148 bytes
2024-10-08 14:23:12
📄 elpa-agda2-mode_2.6.4.3-1_all.deb
51316 bytes
2024-10-08 14:23:12
📄 libghc-agda-doc_2.6.4.3-1_all.deb
7489680 bytes
2024-10-08 14:23:12