1Provides: l4re-util l4re l4re-main
2requires: crtn l4util cxx_libc_io libstdc++-headers ldscripts
3maintainer: warg@os.inf.tu-dresden.de
4