clGetPlatformInfo(3clc) on Linux

The text 80c3b16d9941, as Debian 10 (Buster) shipped it.

Get specific information about the OpenCL platform.

clGetPlatformInfo(3clc) on Linux now