Index of /pub/Linux/gentoo-portage/dev-lang/dafny/files

Icon  Name                                      Last modified      Size  
[PARENTDIR] Parent Directory                                               -   
[   ] dafny-3.12.0-DafnyCore-csproj.patch       2023-09-18 04:40  1.0K  
[   ] dafny-3.12.0-DafnyRuntime-csproj.patch    2023-09-18 04:40  865   
[   ] dafny-4.4.0-lit-config.patch              2023-12-13 11:40  421   
[   ] dafny-4.4.0-lit-system-boogie.patch       2023-12-13 11:40  623   
[   ] dafny-4.5.0-lit-config.patch              2024-03-18 07:11  830