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