File _service:obs_scm:ghc-dec.obsinfo of Package ghc-dec