Man pages matching name boogie in section 1:

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