Index of /packages/Agda/2.6.4.3

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[DIR] 48.fc41/                2024-05-18 13:27    -   
[DIR] 49.fc41/                2024-07-17 17:38    -   
[DIR] 50.el10_0/              2025-05-02 10:39    -   
[DIR] 50.fc41/                2024-08-06 18:16    -   
[DIR] 51.fc42/                2024-12-09 19:05    -   
[DIR] 53.fc42/                2025-01-20 08:28    -