summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2023-12-13 11:45:33 +0100
committerSon Ho2023-12-13 11:45:33 +0100
commit05a9a0f9b69f7e71ad8b7c5d80b395a96da37a17 (patch)
tree8f5f1e430bb0404723a6f7679b1cf8ec201c65ed
parent0c814c97dd8e5167f24b0dbb14186d674e4d097b (diff)
parentc6247e0c103cc1dc95c2a63ae01602c4a1208dc4 (diff)
Merge remote-tracking branch 'origin/main' into son/merge_back
-rw-r--r--flake.lock6
1 files changed, 3 insertions, 3 deletions
diff --git a/flake.lock b/flake.lock
index 94159200..77e6546b 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,11 +8,11 @@
"rust-overlay": "rust-overlay"
},
"locked": {
- "lastModified": 1702401937,
- "narHash": "sha256-PHm8BLp2S5Q1iaKOJOrn6/5nuQfxzwUcIFEgXJzNhBM=",
+ "lastModified": 1702461610,
+ "narHash": "sha256-9eHPrAExrMCiOm/yylwxuPFL9zyUoiBkajFTu1d1tWc=",
"owner": "aeneasverif",
"repo": "charon",
- "rev": "45fd166933d7d30e73eae8150192ff4cc1e123df",
+ "rev": "17c2aaa7cb05c0f06d3177b020eb6ba8b0b1f950",
"type": "github"
},
"original": {