Index of /packages/Agda

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 2.3.0.1/                2019-08-18 20:12    -   
 2.3.2.1/                2019-08-19 00:26    -   
 2.3.2.2/                2020-01-18 07:03    -   
 2.4.2.2/                2020-01-18 13:53    -   
 2.4.2.5/                2019-09-27 01:30    -   
 2.5.2/                  2019-10-02 00:56    -   
 2.5.3/                  2022-09-07 19:59    -   
 2.5.4.2/                2020-12-21 12:01    -   
 2.6.0.1/                2024-02-10 03:26    -   
 2.6.1/                  2024-05-03 06:47    -   
 2.6.2.1/                2024-05-04 23:26    -   
 2.6.2.2/                2023-07-19 12:32    -   
 2.6.2/                  2024-05-05 20:38    -   
 2.6.3/                  2023-07-30 10:20    -   
 2.6.4.1/                2024-09-12 08:00    -   
 2.6.4.3/                2025-05-02 10:39    -   
 2.6.4/                  2023-10-17 06:24    -   
 2.7.0.1/                2025-04-08 03:08    -