File _service:obs_scm:ghc-skylighting-format-latex.obsinfo of Package ghc-skylighting-format-latex