summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2024-04-25 13:49:53 +0200
committerSon Ho2024-04-25 13:49:53 +0200
commit82a397ffec91c0ed48bacb89eed6b6476aecc1e8 (patch)
tree18efdafdca9df9f7d80c10f2715c36750921d775
parent703261b6c8ad680a925ae0550117a85d9dfa40fe (diff)
Update the flake.lock
-rw-r--r--flake.lock30
1 files changed, 15 insertions, 15 deletions
diff --git a/flake.lock b/flake.lock
index ecc6b267..b3b55e6f 100644
--- a/flake.lock
+++ b/flake.lock
@@ -9,11 +9,11 @@
"rust-overlay": "rust-overlay"
},
"locked": {
- "lastModified": 1713433954,
- "narHash": "sha256-R3Pb/Z+V5s5neAwlTIhVJ/q3hDC65nLZ8d1ICotSdkM=",
+ "lastModified": 1714045526,
+ "narHash": "sha256-ydEw01+8vnbGmgPXCXE22hJNRHUCJDnmU6yWlCvm2Ts=",
"owner": "aeneasverif",
"repo": "charon",
- "rev": "80ceb481c90f3cda435d5a60944ea7516415b294",
+ "rev": "04b69a9251046115325bd67264cbcb999b0e8048",
"type": "github"
},
"original": {
@@ -114,11 +114,11 @@
"nixpkgs": "nixpkgs_2"
},
"locked": {
- "lastModified": 1711560370,
- "narHash": "sha256-Zemy2tyGeT8bJNbXSboACWklmSqg+QRIWBLOXpLlW9o=",
+ "lastModified": 1714001266,
+ "narHash": "sha256-4AFdmCMByknNyN3z7qyawavMRqwz0Zz97UvsY+OtCq8=",
"owner": "fstarlang",
"repo": "fstar",
- "rev": "7c8968bb0e417da75144912dcffd714364525eb2",
+ "rev": "22e11f7b0084805d10373bef8239865c61baffa7",
"type": "github"
},
"original": {
@@ -147,11 +147,11 @@
]
},
"locked": {
- "lastModified": 1711568656,
- "narHash": "sha256-2IMm+0CzxBsjTu4bq6z/XW3EyC0Rb5GVxXv7oAm440M=",
+ "lastModified": 1713386387,
+ "narHash": "sha256-kdp1Q530Rwy2D/UQWzJJpwXjal9cbBqCLmbKdWLIvJc=",
"owner": "hacl-star",
"repo": "hacl-star",
- "rev": "210826cd1b3326808d46b1fd71b6e2ccedd4efc1",
+ "rev": "81f0e3bb461fc7d0102211dc9fa5be03951cd654",
"type": "github"
},
"original": {
@@ -177,11 +177,11 @@
]
},
"locked": {
- "lastModified": 1711588307,
- "narHash": "sha256-x4okHJXh94JGtesKp36t+W3g0qEcSryljN4VnUgPwV4=",
+ "lastModified": 1714007756,
+ "narHash": "sha256-SmwD4DQQJZhMjvcx6CUOJqxzw9PzzNYUH7WEd085Mvk=",
"owner": "hacl-star",
"repo": "hacl-nix",
- "rev": "07e1272531b5e56f29687f3387d152c38a229d1c",
+ "rev": "e93cb88bac4db104d8e04d7ac2be0ec194e1d40c",
"type": "github"
},
"original": {
@@ -206,11 +206,11 @@
]
},
"locked": {
- "lastModified": 1711558868,
- "narHash": "sha256-3SbVwNIAN6fGG8ABJ4jghvvx4jMNoYn2P9VHnBFr8YE=",
+ "lastModified": 1713898562,
+ "narHash": "sha256-qsSP194m1km2v6uxIbnDkDdHGTC/NSSWXLYNffEHtZA=",
"owner": "fstarlang",
"repo": "karamel",
- "rev": "d9186a778bd8a730cc8ddcd84eac542fa7226a59",
+ "rev": "10e3e48d5147bbb887bba9219f41edf89a2f8c29",
"type": "github"
},
"original": {