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 1a5128f28c Sync with portage [Tue Mar 5 12:35:26 MSK 2024].		3 months ago
..
50sertop-gentoo.el	Sync with portage [Sat Mar 5 09:46:49 MSK 2022].	2 years ago
coq-serapi-0.19.0-sertop-el.patch	Sync with portage [Wed Feb 7 12:59:21 MSK 2024].	4 months ago