Man pages matching name binvox2bt in section 1:

binvox2bt.1.en	debian 10 / octomap-tools
binvox2bt.1.en	debian 11 / octomap-tools
binvox2bt.1.en	debian 12 / octomap-tools