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 047c5867ef Sync with portage [Tue Apr 10 00:26:42 MSK 2018].		6 years ago
..
Manifest	Sync with portage [Sun Dec 10 19:52:43 MSK 2017].	7 years ago
coq-8.6.1.ebuild	Sync with portage [Tue Apr 10 00:26:42 MSK 2018].	6 years ago
coq-8.6.ebuild	Sync with portage [Tue Apr 10 00:26:42 MSK 2018].	6 years ago
metadata.xml	Sync with portage [Mon Jan 25 16:13:37 MSK 2016].	8 years ago