diff --git a/cabal.project b/cabal.project
index ead57cd20..348bedc7e 100644
--- a/cabal.project
+++ b/cabal.project
@@ -6,7 +6,3 @@ package pandoc
   flags: +embed_data_files -trypandoc
   ghc-options: -j +RTS -A64m -RTS
 
--- source-repository-package
---   type: git
---   location: https://github.com/jgm/citeproc
---   tag: a8193fe375fa2354049bf9a967ba3bad4b1ba053
diff --git a/pandoc.cabal b/pandoc.cabal
index 4a893d672..f3ae5b74e 100644
--- a/pandoc.cabal
+++ b/pandoc.cabal
@@ -444,7 +444,7 @@ library
                  syb                   >= 0.1      && < 0.8,
                  tagsoup               >= 0.14.6   && < 0.15,
                  temporary             >= 1.1      && < 1.4,
-                 texmath               >= 0.12.0.2 && < 0.13,
+                 texmath               >= 0.12.1   && < 0.13,
                  text                  >= 1.1.1.0  && < 1.3,
                  text-conversions      >= 0.3      && < 0.4,
                  time                  >= 1.5      && < 1.10,
diff --git a/stack.yaml b/stack.yaml
index 9fcc69b8d..80425221d 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -18,6 +18,7 @@ extra-deps:
 - commonmark-pandoc-0.2.0.1
 - doctemplates-0.9
 - citeproc-0.3.0.1
+- texmath-0.12.1
 # - citeproc:
 #   git: https://github.com/jgm/citeproc.git
 #   commit: a8193fe375fa2354049bf9a967ba3bad4b1ba053