mir-renderer-gl-dev 1.0.0-0ubuntu4 (armhf binary) in ubuntu disco

 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.