Man pages matching name libppl in section 3:

libppl.3.en	debian 10 / libppl-dev
libppl.3.en	debian 11 / libppl-dev
libppl.3.en	debian 12 / libppl-dev