diff options
Diffstat (limited to 'flake.lock')
| -rw-r--r-- | flake.lock | 374 |
1 files changed, 15 insertions, 359 deletions
@@ -8,11 +8,11 @@ "rust-overlay": "rust-overlay" }, "locked": { - "lastModified": 1710149523, - "narHash": "sha256-y6ZZvC7y+uIdorsdBEKJG0u02CLsWFf1CTkE8DNWn2o=", + "lastModified": 1710741599, + "narHash": "sha256-/5o81Ifs6OGqNpxMklGCJ6w2CVQrQn+xMaC1VrC8pZE=", "owner": "aeneasverif", "repo": "charon", - "rev": "879469900b4baadb85835c5e7da47e6506f6642c", + "rev": "f3faf02ec1dbd6645b816d54be39261dea6970c2", "type": "github" }, "original": { @@ -77,65 +77,17 @@ "type": "indirect" } }, - "flake-utils_3": { - "inputs": { - "systems": "systems_3" - }, - "locked": { - "lastModified": 1710146030, - "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_4": { - "locked": { - "lastModified": 1656928814, - "narHash": "sha256-RIFfgBuKz6Hp89yRr7+NR5tzIAbn52h8vT6vXkYjZoM=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "7e2a3b3dfd9af950a856d66b0a7d01e3c18aa249", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_5": { - "locked": { - "lastModified": 1656928814, - "narHash": "sha256-RIFfgBuKz6Hp89yRr7+NR5tzIAbn52h8vT6vXkYjZoM=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "7e2a3b3dfd9af950a856d66b0a7d01e3c18aa249", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, "fstar": { "inputs": { "flake-utils": "flake-utils_2", "nixpkgs": "nixpkgs_2" }, "locked": { - "lastModified": 1708956704, - "narHash": "sha256-xT0V7oQwR0Zns9g/MvV30ILlAX6tcp92SqWPwej1+sI=", + "lastModified": 1710514291, + "narHash": "sha256-eO3XmWazqfmSm91sQDk0HJNyLpsU5W6BgeftXoJSUl0=", "owner": "fstarlang", "repo": "fstar", - "rev": "a48722f90e14be69b850f093b41fbbdfee7f6eb9", + "rev": "704382c882f3b5b95f7987d3464f97020195319b", "type": "github" }, "original": { @@ -164,11 +116,11 @@ ] }, "locked": { - "lastModified": 1709029146, - "narHash": "sha256-xKqBQ1OdLnyng4Kl3XRU//borVLLet+h15mPQ5g0BEI=", + "lastModified": 1710421079, + "narHash": "sha256-iXmFy2/JmS3khP4V3zIg1P4SROq0sPPuqOxRidJbfqQ=", "owner": "hacl-star", "repo": "hacl-star", - "rev": "59723f7dde13bd7b7eb90491f1385b4e3ee2904f", + "rev": "e5620ceb7c8a4996520d693f597872806dc0a1d3", "type": "github" }, "original": { @@ -194,11 +146,11 @@ ] }, "locked": { - "lastModified": 1709552015, - "narHash": "sha256-zwYbXYRAqKee+OtlWaSX3EhUyD5JLN+xxzcqYxyDnSI=", + "lastModified": 1710638129, + "narHash": "sha256-/SkIjiIg0MROfmYyA8XfWljRC4ehxDuZpE3tDQ07yYc=", "owner": "hacl-star", "repo": "hacl-nix", - "rev": "96a3c4eaaa65beb0ac9e57fc9aa3e9e34aca12f5", + "rev": "cc8c396d454e89c04012cf3b16eb6f64eb455bd6", "type": "github" }, "original": { @@ -223,11 +175,11 @@ ] }, "locked": { - "lastModified": 1709551385, - "narHash": "sha256-aryyJy49PlkZeIMO8Jg0qAUCjtre0r+rvmbH6OhH/sk=", + "lastModified": 1710613474, + "narHash": "sha256-C1y575wlUVaI3AlTMZvMYpie6mSLUmiQDXasaHqKo6o=", "owner": "fstarlang", "repo": "karamel", - "rev": "a1e1b1f2493ac24f8729f17ebedba7c4571f7c97", + "rev": "95968326f0ca1d6f9056347496482d285e6a9f1e", "type": "github" }, "original": { @@ -236,173 +188,6 @@ "type": "github" } }, - "lake": { - "inputs": { - "flake-utils": "flake-utils_3", - "lean": "lean", - "nixpkgs": "nixpkgs_5" - }, - "locked": { - "lastModified": 1689377246, - "narHash": "sha256-UP5Vu5RFPqoRa2tpHaQ7JoX5IY/7BTA9b+MF418oszY=", - "owner": "leanprover", - "repo": "lake", - "rev": "9919b5efc48c71a940635a0bbab00a394ebe53f8", - "type": "github" - }, - "original": { - "owner": "leanprover", - "ref": "lean4-master", - "repo": "lake", - "type": "github" - } - }, - "lean": { - "inputs": { - "flake-utils": "flake-utils_4", - "lean4-mode": "lean4-mode", - "nix": "nix", - "nixpkgs": "nixpkgs_4" - }, - "locked": { - "lastModified": 1710111430, - "narHash": "sha256-TsVeepxSag4OMVWH2UxntI0HHF2Db7hYUpAwhM8XjUQ=", - "owner": "leanprover", - "repo": "lean4", - "rev": "32dcc6eb895b58df3d3241a2521963e64995b621", - "type": "github" - }, - "original": { - "owner": "leanprover", - "repo": "lean4", - "type": "github" - } - }, - "lean4-mode": { - "flake": false, - "locked": { - "lastModified": 1676498134, - "narHash": "sha256-u3WvyKxOViZG53hkb8wd2/Og6muTecbh+NdflIgVeyk=", - "owner": "leanprover", - "repo": "lean4-mode", - "rev": "2c6ef33f476fdf5eb5e4fa4fa023ba8b11372440", - "type": "github" - }, - "original": { - "owner": "leanprover", - "repo": "lean4-mode", - "type": "github" - } - }, - "lean4-mode_2": { - "flake": false, - "locked": { - "lastModified": 1676498134, - "narHash": "sha256-u3WvyKxOViZG53hkb8wd2/Og6muTecbh+NdflIgVeyk=", - "owner": "leanprover", - "repo": "lean4-mode", - "rev": "2c6ef33f476fdf5eb5e4fa4fa023ba8b11372440", - "type": "github" - }, - "original": { - "owner": "leanprover", - "repo": "lean4-mode", - "type": "github" - } - }, - "lean_2": { - "inputs": { - "flake-utils": "flake-utils_5", - "lean4-mode": "lean4-mode_2", - "nix": "nix_2", - "nixpkgs": "nixpkgs_7" - }, - "locked": { - "lastModified": 1710111430, - "narHash": "sha256-TsVeepxSag4OMVWH2UxntI0HHF2Db7hYUpAwhM8XjUQ=", - "owner": "leanprover", - "repo": "lean4", - "rev": "32dcc6eb895b58df3d3241a2521963e64995b621", - "type": "github" - }, - "original": { - "owner": "leanprover", - "repo": "lean4", - "type": "github" - } - }, - "lowdown-src": { - "flake": false, - "locked": { - "lastModified": 1633514407, - "narHash": "sha256-Dw32tiMjdK9t3ETl5fzGrutQTzh2rufgZV4A/BbxuD4=", - "owner": "kristapsdz", - "repo": "lowdown", - "rev": "d2c2b44ff6c27b936ec27358a2653caaef8f73b8", - "type": "github" - }, - "original": { - "owner": "kristapsdz", - "repo": "lowdown", - "type": "github" - } - }, - "lowdown-src_2": { - "flake": false, - "locked": { - "lastModified": 1633514407, - "narHash": "sha256-Dw32tiMjdK9t3ETl5fzGrutQTzh2rufgZV4A/BbxuD4=", - "owner": "kristapsdz", - "repo": "lowdown", - "rev": "d2c2b44ff6c27b936ec27358a2653caaef8f73b8", - "type": "github" - }, - "original": { - "owner": "kristapsdz", - "repo": "lowdown", - "type": "github" - } - }, - "nix": { - "inputs": { - "lowdown-src": "lowdown-src", - "nixpkgs": "nixpkgs_3", - "nixpkgs-regression": "nixpkgs-regression" - }, - "locked": { - "lastModified": 1657097207, - "narHash": "sha256-SmeGmjWM3fEed3kQjqIAO8VpGmkC2sL1aPE7kKpK650=", - "owner": "NixOS", - "repo": "nix", - "rev": "f6316b49a0c37172bca87ede6ea8144d7d89832f", - "type": "github" - }, - "original": { - "owner": "NixOS", - "repo": "nix", - "type": "github" - } - }, - "nix_2": { - "inputs": { - "lowdown-src": "lowdown-src_2", - "nixpkgs": "nixpkgs_6", - "nixpkgs-regression": "nixpkgs-regression_2" - }, - "locked": { - "lastModified": 1657097207, - "narHash": "sha256-SmeGmjWM3fEed3kQjqIAO8VpGmkC2sL1aPE7kKpK650=", - "owner": "NixOS", - "repo": "nix", - "rev": "f6316b49a0c37172bca87ede6ea8144d7d89832f", - "type": "github" - }, - "original": { - "owner": "NixOS", - "repo": "nix", - "type": "github" - } - }, "nixpkgs": { "locked": { "lastModified": 1701436327, @@ -418,38 +203,6 @@ "type": "indirect" } }, - "nixpkgs-regression": { - "locked": { - "lastModified": 1643052045, - "narHash": "sha256-uGJ0VXIhWKGXxkeNnq4TvV3CIOkUJ3PAoLZ3HMzNVMw=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2", - "type": "github" - }, - "original": { - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2", - "type": "github" - } - }, - "nixpkgs-regression_2": { - "locked": { - "lastModified": 1643052045, - "narHash": "sha256-uGJ0VXIhWKGXxkeNnq4TvV3CIOkUJ3PAoLZ3HMzNVMw=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2", - "type": "github" - }, - "original": { - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2", - "type": "github" - } - }, "nixpkgs_2": { "locked": { "lastModified": 1693158576, @@ -465,86 +218,6 @@ "type": "indirect" } }, - "nixpkgs_3": { - "locked": { - "lastModified": 1653988320, - "narHash": "sha256-ZaqFFsSDipZ6KVqriwM34T739+KLYJvNmCWzErjAg7c=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "2fa57ed190fd6c7c746319444f34b5917666e5c1", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixos-22.05-small", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs_4": { - "locked": { - "lastModified": 1686089707, - "narHash": "sha256-LTNlJcru2qJ0XhlhG9Acp5KyjB774Pza3tRH0pKIb3o=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "af21c31b2a1ec5d361ed8050edd0303c31306397", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs_5": { - "locked": { - "lastModified": 1659914493, - "narHash": "sha256-lkA5X3VNMKirvA+SUzvEhfA7XquWLci+CGi505YFAIs=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "022caabb5f2265ad4006c1fa5b1ebe69fb0c3faf", - "type": "github" - }, - "original": { - "owner": "nixos", - "ref": "nixos-21.05", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs_6": { - "locked": { - "lastModified": 1653988320, - "narHash": "sha256-ZaqFFsSDipZ6KVqriwM34T739+KLYJvNmCWzErjAg7c=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "2fa57ed190fd6c7c746319444f34b5917666e5c1", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixos-22.05-small", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs_7": { - "locked": { - "lastModified": 1686089707, - "narHash": "sha256-LTNlJcru2qJ0XhlhG9Acp5KyjB774Pza3tRH0pKIb3o=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "af21c31b2a1ec5d361ed8050edd0303c31306397", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, "root": { "inputs": { "charon": "charon", @@ -553,8 +226,6 @@ "flake-utils" ], "hacl-nix": "hacl-nix", - "lake": "lake", - "lean": "lean_2", "nixpkgs": [ "charon", "nixpkgs" @@ -615,21 +286,6 @@ "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", |