Directory: /gentoo-portage-prefix/dev-lang/dafny/files/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
dafny-4.5.0-lit-config.patch830 B2024-Jun-02 13:26
dafny-3.12.0-DafnyRuntime-csproj.patch865 B2024-Jun-02 13:26
dafny-3.12.0-DafnyCore-csproj.patch1022 B2024-Jun-02 13:26