Man pages matching name packdouble2x32 in section 3g:

packDouble2x32.3g.en	debian 10 / opengl-4-man-doc
packDouble2x32.3g.en	debian 11 / opengl-4-man-doc