diff options
| author | GitHub <noreply@github.com> | 2022-11-06 06:44:33 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-11-06 11:12:20 +0100 |
| commit | 1fa45d8c793282d9a65044666e977220f91a2dd7 (patch) | |
| tree | 3d2c7bab90b9d44dfb0f9f6d2d556519ca4cbde2 /lockfile.json | |
| parent | 3256eb2cc5b2cbe17d1d55a6e5605ab55be25693 (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 9643340b..dccfd0ea 100644 --- a/lockfile.json +++ b/lockfile.json @@ -186,7 +186,7 @@ "revision": "0475a5017ad7dc84845d1d33187f2321abcb261d" }, "julia": { - "revision": "2f885efd38a6a6abfefc81d53ecdd99812dcde69" + "revision": "bedd19f3c3d745c3da8451a35c7bfc5f48d07ee6" }, "kotlin": { "revision": "b953dbdd05257fcb2b64bc4d9c1578fac12e3c28" |