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 fad956fd4a Sync with portage [Fri Dec 15 00:28:44 MSK 2023].		6 months ago
..
Manifest	Sync with portage [Fri Dec 15 00:28:44 MSK 2023].	6 months ago
dafny-bin-4.3.0.ebuild	Sync with portage [Wed Nov 15 22:06:55 MSK 2023].	7 months ago
dafny-bin-4.4.0.ebuild	Sync with portage [Fri Dec 15 00:28:44 MSK 2023].	6 months ago
metadata.xml	Sync with portage [Thu Mar 2 08:35:57 MSK 2023].	1 year ago