summaryrefslogtreecommitdiff
path: root/flake.lock
diff options
context:
space:
mode:
Diffstat (limited to 'flake.lock')
-rw-r--r--flake.lock36
1 files changed, 18 insertions, 18 deletions
diff --git a/flake.lock b/flake.lock
index e637bc27..3457101c 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,11 +8,11 @@
"rust-overlay": "rust-overlay"
},
"locked": {
- "lastModified": 1699619324,
- "narHash": "sha256-QscTkSBWlmKhODEOavw29MIxOhue9oHdoDXkOmCOgnk=",
+ "lastModified": 1700661241,
+ "narHash": "sha256-vsMlaH7A5S7+uQGIYtu7Zt81s177X/xWbj2wdu54mtI=",
"owner": "aeneasverif",
"repo": "charon",
- "rev": "7de1d1e7131f20e56b37ce50adbeb7c947f72f44",
+ "rev": "a3b93d7b6546f1501d5376f7c8bdc0d95d289eb6",
"type": "github"
},
"original": {
@@ -131,11 +131,11 @@
"nixpkgs": "nixpkgs_2"
},
"locked": {
- "lastModified": 1699558636,
- "narHash": "sha256-N4fyP0An2JBC3PRI0/zSeAapDG4gOYH2D40eHXCOemQ=",
+ "lastModified": 1700586754,
+ "narHash": "sha256-SfzRprm7aIqT4RYaOt5k/I0tCJwoCbdjRzr//2omX60=",
"owner": "fstarlang",
"repo": "fstar",
- "rev": "9b60a5b758581edb32488a13e11039db199f89e1",
+ "rev": "71f2d632e318996f227063bf9d31ee91a4f48dfe",
"type": "github"
},
"original": {
@@ -164,11 +164,11 @@
]
},
"locked": {
- "lastModified": 1699550761,
- "narHash": "sha256-BNjPd2DuxNCZBeRwcIJH3SZ9/q7+Ny3j8gZDmOvuENs=",
+ "lastModified": 1700602420,
+ "narHash": "sha256-RqTzTPk4c3hs9Z4IODcw/73L77Mo2tIPWw2KQzLv/O4=",
"owner": "hacl-star",
"repo": "hacl-star",
- "rev": "e1a785f7e88bb6668c9beabd4dc292a03c68bb2e",
+ "rev": "a5604d1b255e54cd32a104616c4b01808d46d809",
"type": "github"
},
"original": {
@@ -194,11 +194,11 @@
]
},
"locked": {
- "lastModified": 1699578804,
- "narHash": "sha256-ss+mguIO6C1DBiKkw/5C5M2N3TiNirBagQ0CUZxlt1I=",
+ "lastModified": 1700615900,
+ "narHash": "sha256-dnhIrg55enqH2KteebnDoRRi4CRXX3y8UNorGzf1ofE=",
"owner": "hacl-star",
"repo": "hacl-nix",
- "rev": "19d0224fffa227ca6374d173f5dfeb7c2b61cf4a",
+ "rev": "7363c6f54bf89ccd5c968f4766c6ea19079b2661",
"type": "github"
},
"original": {
@@ -265,11 +265,11 @@
"nixpkgs": "nixpkgs_4"
},
"locked": {
- "lastModified": 1699614992,
- "narHash": "sha256-eSxx1UA47oBzpZGc4tIp6YP2qti1Hrc36Yo77XFnXH0=",
+ "lastModified": 1700650599,
+ "narHash": "sha256-AK9AO8COmeBpBFmhM9YLrAz/S7XknokCdXLIDC7tfQc=",
"owner": "leanprover",
"repo": "lean4",
- "rev": "5189578a488572b39d102b2e8825bf2a1d2c2b76",
+ "rev": "9efdde23e0858f0925f0d3b4a6df842670b626c9",
"type": "github"
},
"original": {
@@ -318,11 +318,11 @@
"nixpkgs": "nixpkgs_7"
},
"locked": {
- "lastModified": 1699614992,
- "narHash": "sha256-eSxx1UA47oBzpZGc4tIp6YP2qti1Hrc36Yo77XFnXH0=",
+ "lastModified": 1700650599,
+ "narHash": "sha256-AK9AO8COmeBpBFmhM9YLrAz/S7XknokCdXLIDC7tfQc=",
"owner": "leanprover",
"repo": "lean4",
- "rev": "5189578a488572b39d102b2e8825bf2a1d2c2b76",
+ "rev": "9efdde23e0858f0925f0d3b4a6df842670b626c9",
"type": "github"
},
"original": {