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 359b54a48d Sync with portage [Fri Nov 2 09:36:55 MSK 2018].		6 years ago
..
files	Sync with portage [Thu Feb 2 08:30:27 MSK 2017].	7 years ago
Manifest	Sync with portage [Sun Dec 10 19:52:43 MSK 2017].	7 years ago
isabelle-2016.1.ebuild	Sync with portage [Fri Nov 2 09:36:55 MSK 2018].	6 years ago
metadata.xml	Sync with portage [Sat Jan 28 20:46:25 MSK 2017].	7 years ago