Man pages matching name ck_pr_not in section 3:

ck_pr_not.3.en	debian 11 / libck-dev
ck_pr_not.3.en	debian 12 / libck-dev