Man pages matching name vercmp in section 8:

vercmp.8.en

debian 12 / makepkg