Man pages matching name ck_pr_fas in section 3:

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