Provides: libc-headers
source-pkg: libc
Maintainer: adam@os.inf.tu-dresden.de
