Index of /debian-ports/pool/main/a/agda-stdlib/
Name
Size
Date
📁 ../
-
-
📄 agda-stdlib-doc_2.1-4_all.deb
3780056 bytes
2024-11-25 19:39:51
📄 agda-stdlib_2.1-4_all.deb
143710196 bytes
2024-11-25 19:39:51