Provides: libl4re-vfs
Requires: l4re l4re-util libc-headers
Maintainer: warg@os.inf.tu-dresden.de
