Index of /packages/Agda/2.7.0.1
Name
Last modified
Size
Description
Parent Directory
-
54.fc43/
2025-04-08 03:08 -
Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
54.fc43/ 2025-04-08 03:08 -