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 ec8041cae2 Sync with portage [Thu Mar 2 08:35:57 MSK 2023].		2 years ago
..
Manifest	Sync with portage [Wed Feb 22 22:01:14 MSK 2023].	2 years ago
dafny-bin-3.10.0.ebuild	Sync with portage [Fri Feb 3 23:21:47 MSK 2023].	2 years ago
dafny-bin-3.11.0.ebuild	Sync with portage [Wed Feb 1 21:00:21 MSK 2023].	2 years ago
dafny-bin-3.12.0.ebuild	Sync with portage [Wed Feb 22 22:01:14 MSK 2023].	2 years ago
metadata.xml	Sync with portage [Thu Mar 2 08:35:57 MSK 2023].	2 years ago