Man pages matching name ck_pr_cas in section 3:

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