1provides: libgcc
2requires: l4sys
3maintainer: adam@os.inf.tu-dresden.de
4