diff options
| author | GitHub <noreply@github.com> | 2022-11-03 06:48:18 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-11-03 09:03:01 +0100 |
| commit | 58f61e563fadd1788052586f4d6869a99022df3c (patch) | |
| tree | 1da426d48711472a2d26541060d791c4a6d0c32e | |
| parent | 54a9ca47f7d834cf3814a556f514a9c49861133e (diff) | |
Update lockfile.json
| -rw-r--r-- | lockfile.json | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lockfile.json b/lockfile.json index 2d2c9ea4..29efc9b6 100644 --- a/lockfile.json +++ b/lockfile.json @@ -189,7 +189,7 @@ "revision": "8fb38abff74652c4faddbf04d2d5bbbc6b4bae25" }, "kotlin": { - "revision": "f409360ceb4bc1421b28123c47bbecfb1349bfb3" + "revision": "b953dbdd05257fcb2b64bc4d9c1578fac12e3c28" }, "lalrpop": { "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e" @@ -288,7 +288,7 @@ "revision": "0f4f66e5050037b759ea040dafd596bcdda1de94" }, "racket": { - "revision": "b9b2e7454d7098e44595dd8c1b471b9d1518b910" + "revision": "69ca563af3bcf9d67220532e0814786f2dc34db1" }, "rasi": { "revision": "12391343979463a2484e6353e5afb6dcb8c31e8b" |