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 bac5a3deb6 Sync with portage [Tue Jul 18 21:39:16 MSK 2017].		7 years ago
..
Manifest	Sync with portage [Tue Jul 18 21:39:16 MSK 2017].	7 years ago
coq-8.6.1.ebuild	Sync with portage [Tue Jul 18 21:39:16 MSK 2017].	7 years ago
coq-8.6.ebuild	Sync with portage [Sat Jul 8 12:40:21 MSK 2017].	7 years ago
metadata.xml	Sync with portage [Mon Jan 25 16:13:37 MSK 2016].	8 years ago