diff options
| -rw-r--r-- | lockfile.json | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lockfile.json b/lockfile.json index de32b6eb3..cb718062d 100644 --- a/lockfile.json +++ b/lockfile.json @@ -270,7 +270,7 @@ "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e" }, "latex": { - "revision": "dfe891922ccd2e7cef52eccb2775e1b576727165" + "revision": "2ae2021d7b224fb6aa57b760e0d146059f943bb8" }, "ledger": { "revision": "8a841fb20ce683bfbb3469e6ba67f2851cfdf94a" @@ -408,7 +408,7 @@ "revision": "80efda55672d1293aa738f956c7ae384ecdc31b4" }, "racket": { - "revision": "b7261231aeaa8157240427716287fb5cbbcf44a2" + "revision": "0c8791fdfed9412ea44177f1108da618d8a0470f" }, "rasi": { "revision": "371dac6bcce0df5566c1cfebde69d90ecbeefd2d" |