Index of /pypi/dev-python/agda-pkg

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Manifest                15-Aug-2025 02:16  910   
[   ] agda-pkg-0.1.51.ebuild  15-Aug-2025 02:16  1.1K  
[   ] metadata.xml            11-Dec-2024 02:16  250