diff options
| -rw-r--r-- | flake.lock | 98 |
1 files changed, 58 insertions, 40 deletions
@@ -8,11 +8,11 @@ "rust-overlay": "rust-overlay_2" }, "locked": { - "lastModified": 1685657248, - "narHash": "sha256-zGHJLZzyfNr/V3PGG1KL/nyQ1cZrVJbQCwL5kaGIsyQ=", + "lastModified": 1691392627, + "narHash": "sha256-9h6jiaI6633oknl+wI/5h5LVXZ0iYLH3QPZQOpjEaxA=", "owner": "aeneasverif", "repo": "charon", - "rev": "1bd71b35aa19e0ae80b6bea51dc4230482a735bc", + "rev": "9c0011255830bb560a0aa4d0a279d32f2742585f", "type": "github" }, "original": { @@ -83,12 +83,15 @@ } }, "flake-utils_2": { + "inputs": { + "systems": "systems_2" + }, "locked": { - "lastModified": 1667395993, - "narHash": "sha256-nuEHfE/LcWyuSWnS8t12N1wc105Qtau+/OdUAjtQ0rA=", + "lastModified": 1681202837, + "narHash": "sha256-H+Rh19JDwRtpVPAWp64F+rlEtxUWBAQW28eAi3SRSzg=", "owner": "numtide", "repo": "flake-utils", - "rev": "5aed5285a952e0b949eb3ba02c12fa4fcfef535f", + "rev": "cfacdce06f30d2b68473a46042957675eebb3401", "type": "github" }, "original": { @@ -98,14 +101,14 @@ }, "flake-utils_3": { "inputs": { - "systems": "systems_2" + "systems": "systems_3" }, "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": { @@ -150,11 +153,11 @@ "nixpkgs": "nixpkgs_2" }, "locked": { - "lastModified": 1683934850, - "narHash": "sha256-qGN5BdNNsM4TFzYTajIdj5Cm84X5WlP41gB9VLIhSxc=", + "lastModified": 1690839655, + "narHash": "sha256-285hRt/qzVSMPf34OS187WH4q4edPtb86UJrdZAPtfY=", "owner": "fstarlang", "repo": "fstar", - "rev": "2c89426093d3a883d08ce9a60ac4539f6f1df1aa", + "rev": "8f812f3adb7e35810edca22a02016f269c0d1d2a", "type": "github" }, "original": { @@ -183,11 +186,11 @@ ] }, "locked": { - "lastModified": 1683838937, - "narHash": "sha256-GCtSeDEISmp1+m4J8WNosa8zzqxyVPw7e5z/oBgn3lg=", + "lastModified": 1688938536, + "narHash": "sha256-P+uk/ZbY9+StXs5SivB5lT5qUiPWnz5gSozJ3isezWs=", "owner": "hacl-star", "repo": "hacl-star", - "rev": "3e283efd721ceff6fc11eef4c4908662287a6ff9", + "rev": "d2f087304c0b59c0486e25ff2f1daec78d92f69b", "type": "github" }, "original": { @@ -213,11 +216,11 @@ ] }, "locked": { - "lastModified": 1683940878, - "narHash": "sha256-XxhR8jI5oF/gce3MCgmzcSkNGzeZXJeP1gfgWfo9p8A=", + "lastModified": 1690853873, + "narHash": "sha256-RWmZC/Qp8+l/HsbYk982Jqp+zxqYzzsbP60NEhZktwY=", "owner": "hacl-star", "repo": "hacl-nix", - "rev": "a4e4322d2e51b1f8050dd292609e8afbf56d1235", + "rev": "11df45d92e34f23a86bde4134114b023ce0cd6a9", "type": "github" }, "original": { @@ -242,11 +245,11 @@ ] }, "locked": { - "lastModified": 1683133881, - "narHash": "sha256-dSAuF9gVDxsolPOS6h7Z5iL04KK69VJkhq7xNtCL0KQ=", + "lastModified": 1690242065, + "narHash": "sha256-YCHBlXiQqO5A27f+2p/NdtKKP0GNqNEUTH2tMwtFDkQ=", "owner": "fstarlang", "repo": "karamel", - "rev": "8cf8b4e569f5690c51a5954695dcb7fc622cf77b", + "rev": "ed0c7e432715f95c6b9f4268eb1082eb636356a1", "type": "github" }, "original": { @@ -262,11 +265,11 @@ "nixpkgs": "nixpkgs_5" }, "locked": { - "lastModified": 1681922867, - "narHash": "sha256-pW9jfrL8HGTdrrfD/rU/b148648enJRt3nvCx+vbuDc=", + "lastModified": 1689377246, + "narHash": "sha256-UP5Vu5RFPqoRa2tpHaQ7JoX5IY/7BTA9b+MF418oszY=", "owner": "leanprover", "repo": "lake", - "rev": "6544bc7e102eaaaed6d727ef61d78fc194deaf4c", + "rev": "9919b5efc48c71a940635a0bbab00a394ebe53f8", "type": "github" }, "original": { @@ -284,11 +287,11 @@ "nixpkgs": "nixpkgs_4" }, "locked": { - "lastModified": 1685538626, - "narHash": "sha256-R4sJ/w2sBSJmF1p4SHuqh00QXf+Bjxvujdex0s4QHXM=", + "lastModified": 1691332350, + "narHash": "sha256-UVlpyyAobfa15i4ZKT1oP6iHjNkceNN47BpnQqu6wWU=", "owner": "leanprover", "repo": "lean4", - "rev": "28538fc74889ea2dedbc30e236ce26492e5823ca", + "rev": "1f3ef28a1dfe903c0a62663fee4301e6da015942", "type": "github" }, "original": { @@ -337,11 +340,11 @@ "nixpkgs": "nixpkgs_7" }, "locked": { - "lastModified": 1685538626, - "narHash": "sha256-R4sJ/w2sBSJmF1p4SHuqh00QXf+Bjxvujdex0s4QHXM=", + "lastModified": 1691332350, + "narHash": "sha256-UVlpyyAobfa15i4ZKT1oP6iHjNkceNN47BpnQqu6wWU=", "owner": "leanprover", "repo": "lean4", - "rev": "28538fc74889ea2dedbc30e236ce26492e5823ca", + "rev": "1f3ef28a1dfe903c0a62663fee4301e6da015942", "type": "github" }, "original": { @@ -471,11 +474,11 @@ }, "nixpkgs_2": { "locked": { - "lastModified": 1669140675, - "narHash": "sha256-npzfyfLECsJWgzK/M4gWhykP2DNAJTYjgY2BWkz/oEQ=", + "lastModified": 1684385584, + "narHash": "sha256-O7y0gK8OLIDqz+LaHJJyeu09IGiXlZIS3+JgEzGmmJA=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "2788904d26dda6cfa1921c5abb7a2466ffe3cb8c", + "rev": "48a0fb7aab511df92a17cf239c37f2bd2ec9ae3a", "type": "github" }, "original": { @@ -502,11 +505,11 @@ }, "nixpkgs_4": { "locked": { - "lastModified": 1657208011, - "narHash": "sha256-BlIFwopAykvdy1DYayEkj6ZZdkn+cVgPNX98QVLc0jM=", + "lastModified": 1686089707, + "narHash": "sha256-LTNlJcru2qJ0XhlhG9Acp5KyjB774Pza3tRH0pKIb3o=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "2770cc0b1e8faa0e20eb2c6aea64c256a706d4f2", + "rev": "af21c31b2a1ec5d361ed8050edd0303c31306397", "type": "github" }, "original": { @@ -550,11 +553,11 @@ }, "nixpkgs_7": { "locked": { - "lastModified": 1657208011, - "narHash": "sha256-BlIFwopAykvdy1DYayEkj6ZZdkn+cVgPNX98QVLc0jM=", + "lastModified": 1686089707, + "narHash": "sha256-LTNlJcru2qJ0XhlhG9Acp5KyjB774Pza3tRH0pKIb3o=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "2770cc0b1e8faa0e20eb2c6aea64c256a706d4f2", + "rev": "af21c31b2a1ec5d361ed8050edd0303c31306397", "type": "github" }, "original": { @@ -661,6 +664,21 @@ "repo": "default", "type": "github" } + }, + "systems_3": { + "locked": { + "lastModified": 1681028828, + "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", + "owner": "nix-systems", + "repo": "default", + "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", + "type": "github" + }, + "original": { + "owner": "nix-systems", + "repo": "default", + "type": "github" + } } }, "root": "root", |