Man pages matching name sercomp in section 1:

sercomp.1.en

debian 13 / coq-serapi