diff options
| -rw-r--r-- | stack.yaml | 4 | 
1 files changed, 4 insertions, 0 deletions
| diff --git a/stack.yaml b/stack.yaml index 90f1ce83b..7d3c3e341 100644 --- a/stack.yaml +++ b/stack.yaml @@ -6,6 +6,10 @@ flags:      network-uri: true  packages:  - '.' +- location: +    git: https://github.com/jgm/pandoc-types.git +    commit: 10dd48e234c51433033eb1ec531fe7a5f7889cad +  extra-dep: false  extra-deps:  - texmath-0.9.4.2  - hslua-0.8.0 | 
