provides: libsigma0
requires: l4sys compiler-rt
Maintainer: warg@os.inf.tu-dresden.de
