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 18a767dd02 Sync with portage [Wed Apr 7 10:03:41 MSK 2021].		3 years ago
..
Manifest	Sync with portage [Sat Mar 13 19:02:01 MSK 2021].	3 years ago
coq-8.11.2.ebuild	Sync with portage [Wed Feb 10 13:32:50 MSK 2021].	3 years ago
coq-8.12.0-r1.ebuild	Sync with portage [Wed Apr 7 10:03:41 MSK 2021].	3 years ago
coq-8.13.0.ebuild	Sync with portage [Wed Apr 7 10:03:41 MSK 2021].	3 years ago
metadata.xml	Sync with portage [Sat Mar 13 19:02:01 MSK 2021].	3 years ago