summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--flake.lock72
1 files changed, 36 insertions, 36 deletions
diff --git a/flake.lock b/flake.lock
index 55f38cfb..11b4cd1b 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,11 +8,11 @@
"rust-overlay": "rust-overlay"
},
"locked": {
- "lastModified": 1701269567,
- "narHash": "sha256-3UsioCtoMv+FUPPJaR+sXnKzEnyW45Rl9FrWcNLpDE8=",
+ "lastModified": 1701790271,
+ "narHash": "sha256-7lLBI5dPY0VS5s9dcp5GR4myuVgMPxvRDeWXvlJ+708=",
"owner": "aeneasverif",
"repo": "charon",
- "rev": "013396662cbdb76a09c8b70cfd13606e6c6d428f",
+ "rev": "71fe503c64c14b3de1b4d2dabb406f69637a4c02",
"type": "github"
},
"original": {
@@ -29,11 +29,11 @@
]
},
"locked": {
- "lastModified": 1701220101,
- "narHash": "sha256-EBuCZ/Vjp3ovx8ZvfALfuUk4/76Ey/6cJmzmeXBRmDk=",
+ "lastModified": 1701622587,
+ "narHash": "sha256-o3XhxCCyrUHZ0tlta2W7/MuXzy+n0+BUt3rKFK3DIK4=",
"owner": "ipetkov",
"repo": "crane",
- "rev": "514cd663e5af505a244e55ad013733638574aff9",
+ "rev": "c09d2cbe84cc2adfe1943cb2a0b55a71c835ca9a",
"type": "github"
},
"original": {
@@ -47,11 +47,11 @@
"systems": "systems"
},
"locked": {
- "lastModified": 1694529238,
- "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=",
+ "lastModified": 1701680307,
+ "narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=",
"owner": "numtide",
"repo": "flake-utils",
- "rev": "ff7b65b44d01cf9ba6a71320833626af21126384",
+ "rev": "4022d587cbbfd70fe950c1e2083a02621806a725",
"type": "github"
},
"original": {
@@ -82,11 +82,11 @@
"systems": "systems_3"
},
"locked": {
- "lastModified": 1694529238,
- "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=",
+ "lastModified": 1701680307,
+ "narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=",
"owner": "numtide",
"repo": "flake-utils",
- "rev": "ff7b65b44d01cf9ba6a71320833626af21126384",
+ "rev": "4022d587cbbfd70fe950c1e2083a02621806a725",
"type": "github"
},
"original": {
@@ -131,11 +131,11 @@
"nixpkgs": "nixpkgs_2"
},
"locked": {
- "lastModified": 1701214966,
- "narHash": "sha256-AmvqisPtId4Ej+xga5djjSzdxpRzx7K9CL7JvjE5BLs=",
+ "lastModified": 1701559887,
+ "narHash": "sha256-le4BDa5vGKWFKtPTyezxJVEmHIYHrfQvUjNN1eXSOVM=",
"owner": "fstarlang",
"repo": "fstar",
- "rev": "3ad64126966f25423c7fb897412faebc540b864a",
+ "rev": "93bf463c9ee43c5baaabdc35c4b64f812209dcce",
"type": "github"
},
"original": {
@@ -164,11 +164,11 @@
]
},
"locked": {
- "lastModified": 1701086382,
- "narHash": "sha256-g40c06xDz7dkaJIH6Sjo95FN39hJ42O5ANPmYO974D4=",
+ "lastModified": 1701614478,
+ "narHash": "sha256-VBJ4WfrS0uzIZuKjaJFB1hsZdx214TzadduFm0i0IEY=",
"owner": "hacl-star",
"repo": "hacl-star",
- "rev": "071512259483ac2c8bbb5948634408b523b31335",
+ "rev": "e191abedec3725ddb5b252431cb58e9c84533704",
"type": "github"
},
"original": {
@@ -194,11 +194,11 @@
]
},
"locked": {
- "lastModified": 1701220603,
- "narHash": "sha256-vQYLDG4+QRpRODMeZ7WLARtoM+IaRmi0hgTmZg4vhl0=",
+ "lastModified": 1701739023,
+ "narHash": "sha256-myjbc7KSAnsaBseS7/db1GYXAukPw1U8TcohkjLG+Iw=",
"owner": "hacl-star",
"repo": "hacl-nix",
- "rev": "05f5ca8e7e4c12cc0bc322b3f6b8c0f8433e232a",
+ "rev": "fad1636fb53319d0d401c843ef23badef3d6ca18",
"type": "github"
},
"original": {
@@ -223,11 +223,11 @@
]
},
"locked": {
- "lastModified": 1701110212,
- "narHash": "sha256-OrlMYgA8609l8orB41VAFJKDj/0WtiAfdOOaQjMhefs=",
+ "lastModified": 1701663122,
+ "narHash": "sha256-iGIl1cFVIC24o/5zrOzqGrLr3GF1+ktLba8j3/UeNQA=",
"owner": "fstarlang",
"repo": "karamel",
- "rev": "4ad701968346033a986f92d9d91a837e9af95c4e",
+ "rev": "0644e20d7c24958e5de3aeedc47bcda0fd2bf85d",
"type": "github"
},
"original": {
@@ -265,11 +265,11 @@
"nixpkgs": "nixpkgs_4"
},
"locked": {
- "lastModified": 1701264285,
- "narHash": "sha256-zquq62OOZE5aySVkFi4NnSGVY+YSTzipxLwO8umA4zo=",
+ "lastModified": 1701773410,
+ "narHash": "sha256-Juqn2t5UniRi7D2oGKxDtnofFvoPA3z4qxJzZTiYIRI=",
"owner": "leanprover",
"repo": "lean4",
- "rev": "367ac01279e6a26e65fd8f5ca66ed43709c458ae",
+ "rev": "d4f10bc07e575de14edd08ccbcda55e6dd3fa823",
"type": "github"
},
"original": {
@@ -318,11 +318,11 @@
"nixpkgs": "nixpkgs_7"
},
"locked": {
- "lastModified": 1701264285,
- "narHash": "sha256-zquq62OOZE5aySVkFi4NnSGVY+YSTzipxLwO8umA4zo=",
+ "lastModified": 1701773410,
+ "narHash": "sha256-Juqn2t5UniRi7D2oGKxDtnofFvoPA3z4qxJzZTiYIRI=",
"owner": "leanprover",
"repo": "lean4",
- "rev": "367ac01279e6a26e65fd8f5ca66ed43709c458ae",
+ "rev": "d4f10bc07e575de14edd08ccbcda55e6dd3fa823",
"type": "github"
},
"original": {
@@ -405,11 +405,11 @@
},
"nixpkgs": {
"locked": {
- "lastModified": 1701068326,
- "narHash": "sha256-vmMceA+q6hG1yrjb+MP8T0YFDQIrW3bl45e7z24IEts=",
+ "lastModified": 1701436327,
+ "narHash": "sha256-tRHbnoNI8SIM5O5xuxOmtSLnswEByzmnQcGGyNRjxsE=",
"owner": "NixOS",
"repo": "nixpkgs",
- "rev": "8cfef6986adfb599ba379ae53c9f5631ecd2fd9c",
+ "rev": "91050ea1e57e50388fa87a3302ba12d188ef723a",
"type": "github"
},
"original": {
@@ -573,11 +573,11 @@
]
},
"locked": {
- "lastModified": 1701224160,
- "narHash": "sha256-qnMmxNMKmd6Soel0cfauyMJ+LzuZbvmiDQPSIuTbQ+M=",
+ "lastModified": 1701656211,
+ "narHash": "sha256-lfFXsLWH4hVbEKR6K+UcDiKxeS6Lz4FkC1DZ9LHqf9Y=",
"owner": "oxalica",
"repo": "rust-overlay",
- "rev": "4a080e26d55eaedb95ab1bf8eeaeb84149c10f12",
+ "rev": "47a276e820ae4ae1b8d98a503bf09d2ceb52dfd8",
"type": "github"
},
"original": {