diff options
| author | GitHub <noreply@github.com> | 2021-07-22 17:48:46 +0000 |
|---|---|---|
| committer | Stephan Seitz <stephan.lauf@yahoo.de> | 2021-07-22 21:26:51 +0200 |
| commit | 05423e75c5229edfd619f3e654851e0073e59d19 (patch) | |
| tree | e6bd4052fad15e518b3f0bfd04ac6aa73fee031c | |
| parent | 3a9aa6fe882454a2b15d8dfb1b4355e89f1859eb (diff) | |
Update lockfile.json
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index afeeb7e7..92e082b9 100644 --- a/lockfile.json +++ b/lockfile.json @@ -117,7 +117,7 @@ "revision": "b6d4e9e10ccb7b3afb45018fbc391b4439306b23" }, "nix": { - "revision": "50f38ceab667f9d482640edfee803d74f4edeba5" + "revision": "83ee5993560bf15854c69b77d92e34456f8fb655" }, "ocaml": { "revision": "0348562f385bc2bd67ecf181425e1afd6d454192" |