Binary package “gcc-13-plugin-dev” in ubuntu mantic

Files for GNU GCC plugin development.

 This package contains (header) files for GNU GCC plugin development. It
 is only used for the development of GCC plugins, but not needed to run
 plugins.