The text 7756b7bdcf10, as Debian 10 (Buster) shipped it.
Optional half floating-point support.
cl_khr_fp16(3clc) on Linux now
