diff options
| -rw-r--r-- | cabal.project | 2 | ||||
| -rw-r--r-- | stack.yaml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/cabal.project b/cabal.project index e81274aa4..1c49ac92f 100644 --- a/cabal.project +++ b/cabal.project @@ -17,4 +17,4 @@ source-repository-package source-repository-package type: git location: https://github.com/jgm/texmath.git - tag: 58728ec9a653952538a9456ba8da43159fcbf2fb + tag: aa0cffc32fd6d3d9e0f219b8583141de99b54a36 diff --git a/stack.yaml b/stack.yaml index 81b0c43e7..0f1a1afa8 100644 --- a/stack.yaml +++ b/stack.yaml @@ -19,7 +19,7 @@ extra-deps: - git: https://github.com/jgm/citeproc.git commit: cf5542df8f21085bbfd794eaa5cc40abc605637b - git: https://github.com/jgm/texmath.git - commit: 58728ec9a653952538a9456ba8da43159fcbf2fb + commit: aa0cffc32fd6d3d9e0f219b8583141de99b54a36 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules |