diff options
| author | GitHub <noreply@github.com> | 2022-09-18 06:51:47 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-09-18 11:22:12 +0200 |
| commit | 539bed2f4418f193618994b198c70f36212501f0 (patch) | |
| tree | 3226004cfd8b291df27eeff692501fbfa0f12e3f /lockfile.json | |
| parent | 8689f61270c1b80131b0e7bea56d5df70766a06f (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 67cf2c50..e48e9e2b 100644 --- a/lockfile.json +++ b/lockfile.json @@ -228,7 +228,7 @@ "revision": "6b71a810c0acd49b980c50fc79092561f7cee307" }, "norg": { - "revision": "31990db6340084cf7770fdadcb3c1d6a438f263a" + "revision": "5d9c76b5c9927955f7c5d5d946397584e307f69f" }, "ocaml": { "revision": "cc26b1ef111100f26a137bcbcd39fd4e35be9a59" |