DOKK / manpages

Man pages matching name binops in section 3bobcat:

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