@@ -385,7 +385,7 @@ library
385 safe >= 0.3 && < 0.4,
385 safe >= 0.3 && < 0.4,
386 zip-archive >= 0.2.3.4 && < 0.5,
386 zip-archive >= 0.2.3.4 && < 0.5,
387 HTTP >= 4000.0.5 && < 4000.4,
387 HTTP >= 4000.0.5 && < 4000.4,
388− texmath >= 0.11.2.2 && < 0.12,
388+ texmath >= 0.11.2.3 && < 0.12,
389 xml >= 1.3.12 && < 1.4,
389 xml >= 1.3.12 && < 1.4,
390 split >= 0.2 && < 0.3,
390 split >= 0.2 && < 0.3,
391 random >= 1 && < 1.2,
391 random >= 1 && < 1.2,