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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
dafny-3.12.0-DafnyRuntime-csproj.patch	865	2025-Mar-20 21:38
dafny-4.11.0-lit-config.patch	801	2025-Aug-26 22:41