Index of /gentoo/dev-lang/dafny

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[DIR] files/                  03-Dec-2024 01:41    -   
[   ] metadata.xml            17-Sep-2023 21:40  1.8K  
[TXT] dafny-4.9.0.ebuild      22-Nov-2024 22:40   20K  
[TXT] dafny-4.8.0.ebuild      22-Nov-2024 22:40   21K  
[TXT] dafny-4.8.1.ebuild      22-Nov-2024 22:40   21K  
[   ] Manifest                22-Nov-2024 22:40  124K