Index of /packages/Agda/2.6.2.2/37.fc37

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] aarch64/ 2022-07-21 01:04 - [DIR] data/ 2022-07-21 01:27 - [DIR] noarch/ 2022-07-21 01:04 - [DIR] ppc64le/ 2022-07-21 01:04 - [DIR] s390x/ 2022-07-21 01:04 - [DIR] src/ 2022-07-21 01:04 - [DIR] x86_64/ 2022-07-21 01:04 -