File _service:obs_scm:robodoc.obsinfo of Package robodoc