mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-28 17:20:47 +08:00
Use dev version of djoths.
This commit is contained in:
@@ -9,3 +9,7 @@ constraints: skylighting-format-blaze-html >= 0.1.1.3,
|
||||
-- for now (commercialhaskell/stackage#7545):
|
||||
data-default-class <= 0.2, data-default <= 0.8
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/jgm/djoths.git
|
||||
tag: f022191efa477ab23f1c86a528ada69bbf03744b
|
||||
|
||||
@@ -17,6 +17,8 @@ extra-deps:
|
||||
- skylighting-0.14.7
|
||||
- citeproc-0.10
|
||||
- texmath-0.13
|
||||
- git: https://github.com/jgm/djoths.git
|
||||
commit: f022191efa477ab23f1c86a528ada69bbf03744b
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
resolver: lts-24.9
|
||||
|
||||
Reference in New Issue
Block a user