File _service:obs_scm:Catch2.obsinfo of Package Catch2