diff options
Diffstat (limited to 'flake.lock')
| -rw-r--r-- | flake.lock | 48 |
1 files changed, 24 insertions, 24 deletions
@@ -8,11 +8,11 @@ "rust-overlay": "rust-overlay_2" }, "locked": { - "lastModified": 1691392627, - "narHash": "sha256-9h6jiaI6633oknl+wI/5h5LVXZ0iYLH3QPZQOpjEaxA=", + "lastModified": 1691568898, + "narHash": "sha256-BqKlmpX+tV2VYDZXhIhPbO1v9fbNy1/pzd8AooOXvxE=", "owner": "aeneasverif", "repo": "charon", - "rev": "9c0011255830bb560a0aa4d0a279d32f2742585f", + "rev": "5a81a41bafe18101d368e9ab4af440d7fefeee25", "type": "github" }, "original": { @@ -35,11 +35,11 @@ "rust-overlay": "rust-overlay" }, "locked": { - "lastModified": 1684981077, - "narHash": "sha256-68X9cFm0RTZm8u0rXPbeBzOVUH5OoUGAfeHHVoxGd9o=", + "lastModified": 1691423162, + "narHash": "sha256-cReUZCo83YEEmFcHX8CcOVTZYUrcWgHQO34zxQzy7WI=", "owner": "ipetkov", "repo": "crane", - "rev": "35110cccf28823320f4fd697fcafcb5038683982", + "rev": "b5d9d42ea3fa8fea1805d9af1416fe207d0dd1dc", "type": "github" }, "original": { @@ -69,11 +69,11 @@ "systems": "systems" }, "locked": { - "lastModified": 1685518550, - "narHash": "sha256-o2d0KcvaXzTrPRIo0kOLV0/QXHhDQ5DTi+OxcjO8xqY=", + "lastModified": 1689068808, + "narHash": "sha256-6ixXo3wt24N/melDWjq70UuHQLxGV8jZvooRanIHXw0=", "owner": "numtide", "repo": "flake-utils", - "rev": "a1720a10a6cfe8234c0e93907ffe81be440f4cef", + "rev": "919d646de7be200f3bf08cb76ae1f09402b6f9b4", "type": "github" }, "original": { @@ -287,11 +287,11 @@ "nixpkgs": "nixpkgs_4" }, "locked": { - "lastModified": 1691332350, - "narHash": "sha256-UVlpyyAobfa15i4ZKT1oP6iHjNkceNN47BpnQqu6wWU=", + "lastModified": 1691545327, + "narHash": "sha256-9oAUBNRvZxK8dBuxzH5GGhET5lyolecOHmbwywgyk4s=", "owner": "leanprover", "repo": "lean4", - "rev": "1f3ef28a1dfe903c0a62663fee4301e6da015942", + "rev": "e7a1512da8d6f9339766f3a269de56e546757fde", "type": "github" }, "original": { @@ -340,11 +340,11 @@ "nixpkgs": "nixpkgs_7" }, "locked": { - "lastModified": 1691332350, - "narHash": "sha256-UVlpyyAobfa15i4ZKT1oP6iHjNkceNN47BpnQqu6wWU=", + "lastModified": 1691545327, + "narHash": "sha256-9oAUBNRvZxK8dBuxzH5GGhET5lyolecOHmbwywgyk4s=", "owner": "leanprover", "repo": "lean4", - "rev": "1f3ef28a1dfe903c0a62663fee4301e6da015942", + "rev": "e7a1512da8d6f9339766f3a269de56e546757fde", "type": "github" }, "original": { @@ -427,11 +427,11 @@ }, "nixpkgs": { "locked": { - "lastModified": 1685564631, - "narHash": "sha256-8ywr3AkblY4++3lIVxmrWZFzac7+f32ZEhH/A8pNscI=", + "lastModified": 1691472822, + "narHash": "sha256-XVfYZ2oB3lNPVq6sHCY9WkdQ8lHoIDzzbpg8bB6oBxA=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "4f53efe34b3a8877ac923b9350c874e3dcd5dc0a", + "rev": "41c7605718399dcfa53dd7083793b6ae3bc969ff", "type": "github" }, "original": { @@ -597,11 +597,11 @@ ] }, "locked": { - "lastModified": 1683080331, - "narHash": "sha256-nGDvJ1DAxZIwdn6ww8IFwzoHb2rqBP4wv/65Wt5vflk=", + "lastModified": 1691029059, + "narHash": "sha256-QwVeE9YTgH3LmL7yw2V/hgswL6yorIvYSp4YGI8lZYM=", "owner": "oxalica", "repo": "rust-overlay", - "rev": "d59c3fa0cba8336e115b376c2d9e91053aa59e56", + "rev": "99df4908445be37ddb2d332580365fce512a7dcf", "type": "github" }, "original": { @@ -622,11 +622,11 @@ ] }, "locked": { - "lastModified": 1685587239, - "narHash": "sha256-zpOir1AWpWyQscP5dMpqMrCgBzjzH7Wv0FNUsQ0dcS0=", + "lastModified": 1691547503, + "narHash": "sha256-l0AIKJucygbDFc2vuAkxmFMjNNJImDd7jYahA88/E+o=", "owner": "oxalica", "repo": "rust-overlay", - "rev": "acb7e896a73b0cf2c6ffe40b2051eb7f88fc2a10", + "rev": "3380f16b39457b49c8186d5e20e7a68ccf4fc96e", "type": "github" }, "original": { |