diff options
| author | GitHub <noreply@github.com> | 2022-07-09 14:30:43 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-07-09 16:38:52 +0200 |
| commit | 559f2e7568f04872004fb793889e0cf55249abe4 (patch) | |
| tree | bae4c2d5a71ecbff5ea19de356b3437aa08cc91a /lockfile.json | |
| parent | 2c274be5807d3e56575a20d9e56796e9e48806c1 (diff) | |
Update lockfile.json
Diffstat (limited to 'lockfile.json')
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index 68b078ee..f041c72e 100644 --- a/lockfile.json +++ b/lockfile.json @@ -177,7 +177,7 @@ "revision": "b3b2cf27f33e71438ebe46934900b1153901c6f2" }, "ledger": { - "revision": "1f864fb2bf6a87fe1b48545cc6adc6d23090adf7" + "revision": "47b8971448ce5e9abac865f450c1b14fb3b6eee9" }, "llvm": { "revision": "e9948edc41e9e5869af99dddb2b5ff5cc5581af6" |