diff options
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/stack.yaml b/stack.yaml index 32369895f..48821dfe8 100644 --- a/stack.yaml +++ b/stack.yaml @@ -16,9 +16,7 @@ extra-deps: - random-1.2.0 - xml-conduit-1.9.1.1 - unicode-collation-0.1.3 -# - texmath-0.12.2 -- git: https://github.com/jgm/texmath - commit: 0c34bb7d229389adc62bcbfe20cfbfdc0c8ccc8d +- texmath-0.12.3 # - citeproc-0.3.0.9 - git: https://github.com/jgm/citeproc commit: f33b370bd1ab5ad5140720369c0586041e433a47 |