Index of /pentoo/dev-python/dotty

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Manifest                19-Nov-2022 10:03  304   
 dotty-1.5.ebuild        01-Dec-2023 03:16  523   
 metadata.xml            19-Nov-2022 10:03  247