summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2023-12-13 16:56:23 +0100
committerSon Ho2023-12-13 16:56:23 +0100
commitb32fd66b71ad8fe28449d87a2e0334fdd36e286a (patch)
tree92da14273eb068bcf418a2bdf9fbb6d27ba86102
parent4c1f1d64d5dce2388f7124422e3669cf839fc105 (diff)
Update the flake.lock
-rw-r--r--flake.lock18
1 files changed, 9 insertions, 9 deletions
diff --git a/flake.lock b/flake.lock
index 77e6546b..f872fad8 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,11 +8,11 @@
"rust-overlay": "rust-overlay"
},
"locked": {
- "lastModified": 1702461610,
- "narHash": "sha256-9eHPrAExrMCiOm/yylwxuPFL9zyUoiBkajFTu1d1tWc=",
+ "lastModified": 1702482915,
+ "narHash": "sha256-7m3O/qioAomxAq5C/MyFro6WqnKB++o881EGfLJIx1w=",
"owner": "aeneasverif",
"repo": "charon",
- "rev": "17c2aaa7cb05c0f06d3177b020eb6ba8b0b1f950",
+ "rev": "6fc644e4ffcac98b46fc8a361f13cc7d23338ed2",
"type": "github"
},
"original": {
@@ -265,11 +265,11 @@
"nixpkgs": "nixpkgs_4"
},
"locked": {
- "lastModified": 1702429677,
- "narHash": "sha256-i618pOqR5RdWmDdUvOCVn7MlyiF3REouq2W/SkXYHeo=",
+ "lastModified": 1702475419,
+ "narHash": "sha256-2K+XqLUgXHuyibMuNkrRqPVTgrMAE3X7IiO00KPjaWE=",
"owner": "leanprover",
"repo": "lean4",
- "rev": "2f216b52550e7b12b342d6b1717897ad3630ae63",
+ "rev": "b5b664e570f8e6a112b8491bccf58b58fe2d916b",
"type": "github"
},
"original": {
@@ -318,11 +318,11 @@
"nixpkgs": "nixpkgs_7"
},
"locked": {
- "lastModified": 1702429677,
- "narHash": "sha256-i618pOqR5RdWmDdUvOCVn7MlyiF3REouq2W/SkXYHeo=",
+ "lastModified": 1702475419,
+ "narHash": "sha256-2K+XqLUgXHuyibMuNkrRqPVTgrMAE3X7IiO00KPjaWE=",
"owner": "leanprover",
"repo": "lean4",
- "rev": "2f216b52550e7b12b342d6b1717897ad3630ae63",
+ "rev": "b5b664e570f8e6a112b8491bccf58b58fe2d916b",
"type": "github"
},
"original": {