DOKK / manpages

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