diff options
author | Guillaume Boisseau | 2024-05-06 14:00:40 +0000 |
---|---|---|
committer | GitHub | 2024-05-06 14:00:40 +0000 |
commit | 5c758f8b9b70288f3ef428c53122c75677255520 (patch) | |
tree | 2101e01f490e9f9821d7b0105bab2568a4d572c9 /flake.lock | |
parent | a935064196f7fcc65355726a523508f4317d16ee (diff) | |
parent | 87da55498b0ba19c74854f3e8218fab857c624e3 (diff) |
Merge pull request #174 from AeneasVerif/bump-charon
Update charon
Diffstat (limited to '')
-rw-r--r-- | flake.lock | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -9,11 +9,11 @@ "rust-overlay": "rust-overlay" }, "locked": { - "lastModified": 1715000450, - "narHash": "sha256-N7VGgAwoMeSEYblcKzo7TZWv6upuJdknrnZO1ZSwJWQ=", + "lastModified": 1715003183, + "narHash": "sha256-/bnkg8txVHgM5X4t2j6TQmDQ22Rb3SCgCMV9pAQGjp8=", "owner": "aeneasverif", "repo": "charon", - "rev": "f8fab8d2f4f279f973057d0f7f58c2fd59146e30", + "rev": "1a205c55b02f3dff1ae238dfdac5a58d58de6006", "type": "github" }, "original": { |