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.

Calculate Linux 3ab935ee6f Sync with portage [Wed Jan 20 22:50:36 MSK 2021].		3 years ago
..
Manifest	Sync with portage [Wed Oct 14 16:43:02 MSK 2020].	4 years ago
coq-8.6.1-r1.ebuild	Sync with portage [Tue Nov 5 08:46:51 MSK 2019].	5 years ago
coq-8.9.1-r1.ebuild	Sync with portage [Mon Nov 25 12:31:45 MSK 2019].	5 years ago
coq-8.12.0.ebuild	Sync with portage [Wed Oct 14 16:43:02 MSK 2020].	4 years ago
metadata.xml	Sync with portage [Sat Dec 14 12:24:29 MSK 2019].	5 years ago