@@ -385,7 +385,7 @@ library
385385 safe >= 0.3 && < 0.4,
386386 zip-archive >= 0.2.3.4 && < 0.5,
387387 HTTP >= 4000.0.5 && < 4000.4,
388− texmath >= 0.11.2.2 && < 0.12,
388+ texmath >= 0.11.2.3 && < 0.12,
389389 xml >= 1.3.12 && < 1.4,
390390 split >= 0.2 && < 0.3,
391391 random >= 1 && < 1.2,