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