Man pages matching name gcc-ranlib-13 in section 1:

gcc-ranlib-13.1.en

debian 13 / gcc-13