Index of /rsyncd/gentoo-portage/sci-mathematics/coq-serapi/files/

Name	Last Modified	Size	Type
../		-	Directory
50sertop-gentoo.el	2022-Mar-05 05:10:04	0.1K	application/octet-stream
coq-serapi-0.19.0-sertop-el.patch	2024-Feb-05 12:07:49	0.3K	text/x-diff; charset=utf-8