diff options
Diffstat (limited to 'stack.yaml')
-rw-r--r-- | stack.yaml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stack.yaml b/stack.yaml index 02feb8e43..c0bf272f7 100644 --- a/stack.yaml +++ b/stack.yaml @@ -8,8 +8,9 @@ extra-deps: - hslua-1.3.0 - hslua-module-path-0.1.0 - jira-wiki-markup-1.3.4 -- git: https://github.com/jgm/doclayout.git - commit: 7a23715f10fe20f1cd4d0a35a1fc57c2268d261f +- skylighting-core-0.10.4.1 +- skylighting-0.10.4.1 +- doclayout-0.3.0.1 - citeproc-0.3.0.9 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules |