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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
dafny-3.12.0-DafnyCore-csproj.patch 10222023-Sep-17 21:40
dafny-3.12.0-DafnyRuntime-csproj.patch 8652023-Sep-17 21:40
dafny-4.5.0-lit-config.patch 8302024-Mar-18 00:11