Man pages matching name bvd in section 1:

bvd.1.en	debian 11 / boogie
bvd.1.en	debian 12 / boogie