portable API for OpenGL graphical interfaces (headers)

 Pugl is a minimal portable API for OpenGL GUIs which supports
 embedding and is suitable for use in plugins, but can also be
 used for programs.
 .
 This package provides the development files.