@@ -17,18 +17,10 @@ extra-deps:
1717 commit: dd50a6eaeaf63773bbf04d6ef34b86d6f92b7825
1818- git: https://github.com/jgm/pandoc-citeproc
1919 commit: 2e6fe791ec5293acc925c2ccbe79c9c10d2b7e07
20−- texmath-0.12.0.2
21−- haddock-library-1.8.0
22−- skylighting-0.8.3.2
23−- skylighting-core-0.8.3.2
24−- regex-pcre-builtin-0.95.0.8.8.35
2520- doclayout-0.3
26−- emojis-0.1
2721- hslua-1.1.0
2822- jira-wiki-markup-1.3.0
29−- HsYAML-0.2.0.0
30−- HsYAML-aeson-0.2.0.0
3123- doctemplates-0.8.2
3224ghc-options:
3325 "$locals": -fhide-source-paths -Wno-missing-home-modules
34−resolver: lts-14.6
26+resolver: lts-15.11