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

NameLast ModifiedSizeType
../ -  Directory
dafny-3.12.0-DafnyRuntime-csproj.patch2025-Mar-20 13:38:290.8Ktext/x-diff;charset=utf-8
dafny-4.11.0-lit-config.patch2025-Aug-26 15:41:090.8Ktext/x-diff;charset=utf-8
lighttpd/1.4.69