Man pages matching name biococoa in section 3:

BioCocoa.3.en	debian 10 / libbiococoa-dev
BioCocoa.3.en	debian 11 / libbiococoa-dev
BioCocoa.3.en	debian 12 / libbiococoa-dev