@@ -862,7 +862,7 @@ packages:
862 - primitive < 0.6
862 - primitive < 0.6
864 # https://github.com/jgm/pandoc/issues/2036
864 # https://github.com/jgm/pandoc/issues/2036
865− - highlighting-kate < 0.5.14
865+ - highlighting-kate < 0.5.13
867# Package flags are applied to individual packages, and override the values of
867# Package flags are applied to individual packages, and override the values of
868# global-flags
868# global-flags