provides: crtn
requires: l4sys libgcc
maintainer: warg@os.inf.tu-dresden.de