summaryrefslogtreecommitdiff
path: root/flake.lock
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--flake.lock7
1 files changed, 4 insertions, 3 deletions
diff --git a/flake.lock b/flake.lock
index 27a555ad..f35ddf2e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -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"
}