diff options
Diffstat (limited to 'lockfile.json')
| -rw-r--r-- | lockfile.json | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lockfile.json b/lockfile.json index ad0a4f7ba..1b9623cdb 100644 --- a/lockfile.json +++ b/lockfile.json @@ -71,6 +71,9 @@ "devicetree": { "revision": "ea30a05d0f0446a96d8b096ad11828ad4f8ad849" }, + "dhall": { + "revision": "affb6ee38d629c9296749767ab832d69bb0d9ea8" + }, "diff": { "revision": "f69bde8e56f431863eba2fe4bab23e7d9692855f" }, |