Use latest dev skylighting, skylighting-core.

jgm · Dec 4, 2023 · 780f4f5 · 780f4f5
1 parent 251bfa8
commit 780f4f5
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 2 deletions.
diff --git a/cabal.project b/cabal.project
@@ -11,3 +11,15 @@ source-repository-package
   type: git
   location: https://github.com/jgm/typst-hs
   tag: 2a92d6b61b077ad6eaff857f45aa50004658082e
+
+source-repository-package
+  type: git
+  location: https://github.com/jgm/skylighting
+  subdir: skylighting-core
+  tag: 1f5c4df30b8690f444f76b0e7b3f942fed495e80
+
+source-repository-package
+  type: git
+  location: https://github.com/jgm/skylighting
+  subdir: skylighting
+  tag: 1f5c4df30b8690f444f76b0e7b3f942fed495e80
diff --git a/stack.yaml b/stack.yaml
@@ -21,15 +21,16 @@ extra-deps:
 - http-client-tls-0.3.6.3
 - typst-symbols-0.1.4
 - toml-parser-1.3.0.0
-- skylighting-core-0.14
-- skylighting-0.14
 - skylighting-format-blaze-html-0.1.1.1
 - texmath-0.12.8.4
 - tls-1.9.0
 - commonmark-0.2.4
 - commonmark-extensions-0.2.4
 - git: https://github.com/jgm/typst-hs
   commit: 2a92d6b61b077ad6eaff857f45aa50004658082e
+- git: https://github.com/jgm/skylighting
+  subdirs: [skylighting-core, skylighting]
+  commit: 1f5c4df30b8690f444f76b0e7b3f942fed495e80
 
 ghc-options:
    "$locals": -fhide-source-paths -Wno-missing-home-modules