Man pages matching name mlv_random.h in section 3:

MLV_random.h.3.en	debian 10 / libmlv3-dev
MLV_random.h.3.en	debian 11 / libmlv3-dev
MLV_random.h.3.en	debian 12 / libmlv3-dev