mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-24 17:26:32 +00:00
Use dev version of pandoc-citeproc...
so we can use pandoc-types 1.21 with it.
This commit is contained in:
+1
-1
@@ -11,7 +11,7 @@ package pandoc-citeproc
|
||||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/jgm/pandoc-citeproc
|
||||
tag: 0.17
|
||||
tag: 2e6fe791ec5293acc925c2ccbe79c9c10d2b7e07
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
|
||||
+2
-1
@@ -16,6 +16,8 @@ extra-deps:
|
||||
# better-tables
|
||||
- git: https://github.com/jgm/pandoc-types
|
||||
commit: 4acb0e50f10d8f41f94c0973384d63f06d0b9ffd
|
||||
- git: https://github.com/jgm/pandoc-citeproc
|
||||
commit: 2e6fe791ec5293acc925c2ccbe79c9c10d2b7e07
|
||||
- texmath-0.12.0.2
|
||||
- haddock-library-1.8.0
|
||||
- skylighting-0.8.3.2
|
||||
@@ -28,7 +30,6 @@ extra-deps:
|
||||
- HsYAML-0.2.0.0
|
||||
- HsYAML-aeson-0.2.0.0
|
||||
- doctemplates-0.8.2
|
||||
- pandoc-citeproc-0.17
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
resolver: lts-14.6
|
||||
|
||||
Reference in New Issue
Block a user