Man pages matching name gencoil in section 1:

gencoil.1.en	debian 10 / odin
gencoil.1.en	debian 11 / odin
gencoil.1.en	debian 12 / odin