Man pages matching name floptool in section 1:

floptool.1.en	debian 10 / mame-tools
floptool.1.en	debian 11 / mame-tools
floptool.1.en	debian 12 / mame-tools