Man pages matching name libopencl in section 7:

libOpenCL.7.en	debian 10 / ocl-icd-libopencl1
libOpenCL.7.en	debian 11 / ocl-icd-libopencl1
libOpenCL.7.en	debian 12 / ocl-icd-libopencl1