Provides: libpthread libc_pthread
requires: l4sys l4re l4re-util l4re_c l4re_c-util ldscripts
Maintainer: adam@os.inf.tu-dresden.de
