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

Filename	Modification time	Size
dafny-3.12.0-DafnyCore-csproj.patch	2025-03-20 13:38 CET	1022 B
dafny-3.12.0-DafnyRuntime-csproj.patch	2025-03-20 13:38 CET	865 B
dafny-4.5.0-lit-config.patch	2025-03-20 13:38 CET	830 B
dafny-4.11.0-lit-config.patch	2025-08-26 15:41 CEST	801 B