Man pages matching name puppet-lint in section 1:

puppet-lint.1.en	debian 10 / puppet-lint
puppet-lint.1.en	debian 11 / puppet-lint
puppet-lint.1.en	debian 12 / puppet-lint