You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

root 8a5d75000e Sync with portage [Thu Mar 21 13:37:48 MSK 2024].		2 months ago
..
dafny-3.12.0-DafnyCore-csproj.patch	Sync with portage [Mon Sep 18 10:39:55 MSK 2023].	8 months ago
dafny-3.12.0-DafnyRuntime-csproj.patch	Sync with portage [Mon Sep 18 10:39:55 MSK 2023].	8 months ago
dafny-4.4.0-lit-config.patch	Sync with portage [Fri Dec 15 00:28:44 MSK 2023].	5 months ago
dafny-4.4.0-lit-system-boogie.patch	Sync with portage [Fri Dec 15 00:28:44 MSK 2023].	5 months ago
dafny-4.5.0-lit-config.patch	Sync with portage [Thu Mar 21 13:37:48 MSK 2024].	2 months ago