Man pages matching name proclint in section 1:

proclint.1.en	debian 10 / procmail-lib
proclint.1.en	debian 11 / procmail-lib
proclint.1.en	debian 12 / procmail-lib