Man pages matching name chipcard-tool in section 1:

chipcard-tool.1.en	debian 10 / libchipcard-tools
chipcard-tool.1.en	debian 11 / libchipcard-tools
chipcard-tool.1.en	debian 12 / libchipcard-tools