1provides: libstdc++-headers
2source-pkg: libstdc++-v3
3maintainer: warg@os.inf.tu-dresden.de
4