Update lockfile.json

This commit is contained in:
GitHub 2022-10-07 07:00:55 +00:00 committed by Thomas Vigouroux
parent a33858d399
commit c536886f2b

View file

@ -192,7 +192,7 @@
"revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e"
},
"latex": {
"revision": "6fdf7d3f9edf094f4e5e39681ab5edf50e9a1ad6"
"revision": "2d5f17ebd12650bee06d4fb4333a205b0699ac40"
},
"ledger": {
"revision": "47b8971448ce5e9abac865f450c1b14fb3b6eee9"