mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-27 09:55:57 +00:00
Use dev doclayout
This commit is contained in:
@@ -23,6 +23,11 @@ source-repository-package
|
||||
location: https://github.com/jgm/texmath
|
||||
tag: a7451e20f371b451b94136c50fefa882a2852bf1
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/jgm/doclayout
|
||||
tag: d98289d576ba621a17e184ca5a1ff9a8d8390542
|
||||
|
||||
if arch(wasm32)
|
||||
tests: False
|
||||
|
||||
|
||||
+2
-2
@@ -26,6 +26,8 @@ extra-deps:
|
||||
- skylighting-format-blaze-html-0.1.2.1
|
||||
- typst-symbols-0.3
|
||||
- asciidoc-0.1.0.5
|
||||
- git: https://github.com/jgm/doclayout
|
||||
commit: d98289d576ba621a17e184ca5a1ff9a8d8390542
|
||||
- git: https://github.com/jgm/typst-hs
|
||||
commit: a2ebb326923ff7c3e8bfe99d24a6e62d2a3984ee
|
||||
- git: https://github.com/jgm/djoths
|
||||
@@ -36,8 +38,6 @@ extra-deps:
|
||||
- pandoc-types-1.23.1.2
|
||||
# needed because not yet in nixpkgs:
|
||||
- emojis-0.1.5
|
||||
# needed because not yet in nixpkgs:
|
||||
- doclayout-0.5.0.3
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
resolver: lts-24.51
|
||||
|
||||
Reference in New Issue
Block a user