mir-renderer-gl-dev 0.31.1-0ubuntu1 (armhf binary) in ubuntu bionic

 Mir is a display server running on linux systems, with a focus on efficiency,
 robust operation and a well-defined driver model.
 .
 Contains header files that define the interfaces through which platforms and
 renderers access the functionality needed to render with GL.