Index of /gentoo/dev-lang/dafny/files

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[TXT] dafny-4.11.0-lit-con..> 26-Aug-2025 15:41  801   
[TXT] dafny-4.5.0-lit-conf..> 20-Mar-2025 13:38  830   
[TXT] dafny-3.12.0-DafnyRu..> 20-Mar-2025 13:38  865   
[TXT] dafny-3.12.0-DafnyCo..> 20-Mar-2025 13:38  1.0K