diff options
author | Nadrieril | 2024-04-10 16:46:24 +0200 |
---|---|---|
committer | Nadrieril | 2024-04-10 16:58:44 +0200 |
commit | 143a68b2c43c4302abbbd39c28cac3f9c5f52f4a (patch) | |
tree | f7380e47918ad4aaf970cfb58e444ed214dbd81f /flake.lock | |
parent | dabbffde83e640aabc634d0a8917108decf9a5e7 (diff) |
Trust rustc regarding `Copy` bounds
Diffstat (limited to 'flake.lock')
-rw-r--r-- | flake.lock | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -8,15 +8,16 @@ "rust-overlay": "rust-overlay" }, "locked": { - "lastModified": 1712233083, - "narHash": "sha256-KR4UwlgUzLWObSzQ1LIKITjRrYe4AuZXdvCK78qrip8=", + "lastModified": 1712760963, + "narHash": "sha256-KV8ZSHfnAn9bx1JA4k7Vj8yntfxMjjqIH05yHV9IDH0=", "owner": "aeneasverif", "repo": "charon", - "rev": "6e31313fdfd4830aa0fc795f6ab8b27600fcbbfb", + "rev": "763aa8c3d308be619829939170af93624e4561f4", "type": "github" }, "original": { "owner": "aeneasverif", + "ref": "generic-copy", "repo": "charon", "type": "github" } |