Index of /packages/Agda/2.6.1

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] 24.fc33/ 2020-07-20 18:52 - [DIR] 27.fc33/ 2020-08-05 07:53 - [DIR] 28.fc33/ 2020-09-03 14:26 - [DIR] 28.fc34/ 2020-09-01 13:58 - [DIR] 29.fc34/ 2020-10-12 07:04 - [DIR] 30.fc34/ 2021-01-26 20:33 - [DIR] 30.fc35/ 2021-07-21 17:31 - [DIR] 31.fc35/ 2021-07-22 00:51 -