Man pages matching name irandstream in section 3bobcat:

irandstream.3bobcat.en	debian 10 / libbobcat-dev
irandstream.3bobcat.en	debian 11 / libbobcat-dev
irandstream.3bobcat.en	debian 12 / libbobcat-dev
irandstream.3bobcat.en	debian 13 / libbobcat-dev