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