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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
dafny-3.12.0-DafnyRuntime-csproj.patch865 B2025-Mar-20 21:38
dafny-4.11.0-lit-config.patch801 B2025-Aug-26 22:41