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 da0ad592c8 Sync with portage [Thu Jun 29 09:59:17 MSK 2023].		11 months ago
..
Manifest	Sync with portage [Thu Jun 29 09:59:17 MSK 2023].	11 months ago
coq-8.12.0-r2.ebuild	Sync with portage [Tue Jun 13 12:21:29 MSK 2023].	12 months ago
coq-8.15.2.ebuild	Sync with portage [Wed Apr 12 17:06:13 MSK 2023].	1 year ago
coq-8.16.1.ebuild	Sync with portage [Wed Apr 12 17:06:13 MSK 2023].	1 year ago
coq-8.17.0.ebuild	Sync with portage [Tue Jun 13 12:21:29 MSK 2023].	12 months ago
coq-8.17.1.ebuild	Sync with portage [Thu Jun 29 09:59:17 MSK 2023].	11 months ago
metadata.xml	Sync with portage [Sun Feb 27 23:32:53 MSK 2022].	2 years ago