Man pages matching name rgxg_number_range in section 3:

rgxg_number_range.3.en	debian 10 / librgxg-dev
rgxg_number_range.3.en	debian 11 / librgxg-dev
rgxg_number_range.3.en	debian 12 / librgxg-dev