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 e3c66141d..e81274aa4 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: 4f2acdc8c6a3e26ccb778305fecf824286b0419c + tag: 58728ec9a653952538a9456ba8da43159fcbf2fb diff --git a/stack.yaml b/stack.yaml index 483d012dd..81b0c43e7 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: 4f2acdc8c6a3e26ccb778305fecf824286b0419c + commit: 58728ec9a653952538a9456ba8da43159fcbf2fb ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules |