diff options
author | Guillaume Boisseau | 2024-05-14 17:46:38 +0200 |
---|---|---|
committer | GitHub | 2024-05-14 17:46:38 +0200 |
commit | cbf425d178f9063507585233ebee7ca785567e3a (patch) | |
tree | 79151f8118306e89da79e8202e2b9fc76d143400 /flake.lock | |
parent | d7390c53fba81768bfa08645e18dff4f613d7aa4 (diff) | |
parent | 89f82c504b377f92541b2313256adf525d7b20da (diff) |
Merge pull request #172 from AeneasVerif/string-literals
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": 1715003183, - "narHash": "sha256-/bnkg8txVHgM5X4t2j6TQmDQ22Rb3SCgCMV9pAQGjp8=", + "lastModified": 1715695299, + "narHash": "sha256-50VuITmseECX64vbupU8bW4nG+TcEvUjL1FRmfSjyLw=", "owner": "aeneasverif", "repo": "charon", - "rev": "1a205c55b02f3dff1ae238dfdac5a58d58de6006", + "rev": "30ff93c24e5a1a6151d1c76f94c1d61ff1c34f70", "type": "github" }, "original": { |