@@ -18,7 +18,7 @@ extra-deps:
18- hslua-module-text-0.1.2
18- hslua-module-text-0.1.2
19- skylighting-0.6
19- skylighting-0.6
20- ansi-terminal-0.7.1.1
20- ansi-terminal-0.7.1.1
21−- texmath-0.10.1
21+- texmath-0.10.1.1
22- cmark-gfm-0.1.1
22- cmark-gfm-0.1.1
23- QuickCheck-2.10.0.1
23- QuickCheck-2.10.0.1
24- tasty-quickcheck-0.9.1
24- tasty-quickcheck-0.9.1