{ "nodes": { "charon": { "inputs": { "crane": "crane", "flake-compat": "flake-compat", "flake-utils": "flake-utils", "nixpkgs": [ "eurydice", "nixpkgs" ], "rust-overlay": "rust-overlay" }, "locked": { "lastModified": 1718119153, "narHash": "sha256-/7Lv10doYagB+h9LzoT8hG9ns5ejEsAXBnii2kNDSoQ=", "owner": "aeneasverif", "repo": "charon", "rev": "0d3ba218b611b31cd9b800c237f15f7ffc787845", "type": "github" }, "original": { "owner": "aeneasverif", "repo": "charon", "type": "github" } }, "crane": { "inputs": { "nixpkgs": [ "charon", "nixpkgs" ] }, "locked": { "lastModified": 1701622587, "narHash": "sha256-o3XhxCCyrUHZ0tlta2W7/MuXzy+n0+BUt3rKFK3DIK4=", "owner": "ipetkov", "repo": "crane", "rev": "c09d2cbe84cc2adfe1943cb2a0b55a71c835ca9a", "type": "github" }, "original": { "owner": "ipetkov", "repo": "crane", "type": "github" } }, "crane_2": { "inputs": { "nixpkgs": [ "nixpkgs" ] }, "locked": { "lastModified": 1718078026, "narHash": "sha256-LbQabH6h86ZzTvDnaZHmMwedRZNB2jYtUQzmoqWQoJ8=", "owner": "ipetkov", "repo": "crane", "rev": "a3f0c63eed74a516298932b9b1627dd80b9c3892", "type": "github" }, "original": { "owner": "ipetkov", "repo": "crane", "type": "github" } }, "crane_3": { "inputs": { "flake-compat": "flake-compat_2", "flake-utils": [ "hax", "flake-utils" ], "nixpkgs": [ "hax", "nixpkgs" ], "rust-overlay": "rust-overlay_2" }, "locked": { "lastModified": 1693787605, "narHash": "sha256-rwq5U8dy+a9JFny/73L0SJu1GfWwATMPMTp7D+mjHy8=", "owner": "ipetkov", "repo": "crane", "rev": "8b4f7a4dab2120cf41e7957a28a853f45016bd9d", "type": "github" }, "original": { "owner": "ipetkov", "repo": "crane", "type": "github" } }, "eurydice": { "inputs": { "charon": [ "charon" ], "flake-utils": "flake-utils_2", "fstar": "fstar", "karamel": "karamel", "nixpkgs": [ "eurydice", "karamel", "nixpkgs" ] }, "locked": { "lastModified": 1718124394, "narHash": "sha256-1sYQb6Oy/BtMBiWJ7X+nOf8+ZVWBmmm+29NtrIj3w2s=", "owner": "aeneasverif", "repo": "eurydice", "rev": "b2b62fffab78f91de07c20a7fa7385242fd54a0d", "type": "github" }, "original": { "owner": "aeneasverif", "repo": "eurydice", "type": "github" } }, "flake-compat": { "locked": { "lastModified": 1688025799, "narHash": "sha256-ktpB4dRtnksm9F5WawoIkEneh1nrEvuxb5lJFt1iOyw=", "owner": "nix-community", "repo": "flake-compat", "rev": "8bf105319d44f6b9f0d764efa4fdef9f1cc9ba1c", "type": "github" }, "original": { "owner": "nix-community", "repo": "flake-compat", "type": "github" } }, "flake-compat_2": { "flake": false, "locked": { "lastModified": 1673956053, "narHash": "sha256-4gtG9iQuiKITOjNQQeQIpoIB6b16fm+504Ch3sNKLd8=", "owner": "edolstra", "repo": "flake-compat", "rev": "35bb57c0c8d8b62bbfd284272c928ceb64ddbde9", "type": "github" }, "original": { "owner": "edolstra", "repo": "flake-compat", "type": "github" } }, "flake-utils": { "inputs": { "systems": "systems" }, "locked": { "lastModified": 1701680307, "narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=", "owner": "numtide", "repo": "flake-utils", "rev": "4022d587cbbfd70fe950c1e2083a02621806a725", "type": "github" }, "original": { "owner": "numtide", "repo": "flake-utils", "type": "github" } }, "flake-utils_2": { "inputs": { "systems": "systems_2" }, "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_3": { "inputs": { "systems": "systems_3" }, "locked": { "lastModified": 1692799911, "narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=", "owner": "numtide", "repo": "flake-utils", "rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44", "type": "github" }, "original": { "id": "flake-utils", "type": "indirect" } }, "flake-utils_4": { "inputs": { "systems": "systems_4" }, "locked": { "lastModified": 1692799911, "narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=", "owner": "numtide", "repo": "flake-utils", "rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44", "type": "github" }, "original": { "id": "flake-utils", "type": "indirect" } }, "flake-utils_5": { "inputs": { "systems": "systems_5" }, "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_6": { "inputs": { "systems": "systems_6" }, "locked": { "lastModified": 1692799911, "narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=", "owner": "numtide", "repo": "flake-utils", "rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44", "type": "github" }, "original": { "owner": "numtide", "repo": "flake-utils", "type": "github" } }, "fstar": { "inputs": { "flake-utils": "flake-utils_3", "nixpkgs": "nixpkgs" }, "locked": { "lastModified": 1717456679, "narHash": "sha256-GjDR+YhmIBHJ/1WotSwcHYmXP1VvkZS5I2YpPJlzWDc=", "owner": "FStarLang", "repo": "fstar", "rev": "6d124af2bda315ae20f9fe974ffc668f8bd5791d", "type": "github" }, "original": { "owner": "FStarLang", "repo": "fstar", "type": "github" } }, "fstar_2": { "inputs": { "flake-utils": "flake-utils_4", "nixpkgs": "nixpkgs_2" }, "locked": { "lastModified": 1717456679, "narHash": "sha256-GjDR+YhmIBHJ/1WotSwcHYmXP1VvkZS5I2YpPJlzWDc=", "owner": "fstarlang", "repo": "fstar", "rev": "6d124af2bda315ae20f9fe974ffc668f8bd5791d", "type": "github" }, "original": { "owner": "fstarlang", "repo": "fstar", "type": "github" } }, "fstar_3": { "inputs": { "flake-utils": [ "hax", "flake-utils" ], "nixpkgs": [ "hax", "nixpkgs" ] }, "locked": { "lastModified": 1705191588, "narHash": "sha256-xjSWDP8mSjLcn+0hsRpEdzsBgBR+mKCZB8yLmHl+WqE=", "owner": "FStarLang", "repo": "FStar", "rev": "a32b316e521fa4f239b610ec8f1d15e78d62cbe8", "type": "github" }, "original": { "owner": "FStarLang", "ref": "v2024.01.13", "repo": "FStar", "type": "github" } }, "hacl-star": { "flake": false, "locked": { "lastModified": 1699634660, "narHash": "sha256-/mAi8wdlO1HHYKVj8pN/y5FUM/AwVPNazYFSy9pDlpY=", "owner": "hacl-star", "repo": "hacl-star", "rev": "7f42aba60b37bc011d19472284bfcd3b95c1538e", "type": "github" }, "original": { "owner": "hacl-star", "repo": "hacl-star", "type": "github" } }, "hax": { "inputs": { "crane": "crane_3", "flake-utils": "flake-utils_6", "fstar": "fstar_3", "hacl-star": "hacl-star", "nixpkgs": "nixpkgs_3", "rust-overlay": "rust-overlay_3" }, "locked": { "lastModified": 1717675342, "narHash": "sha256-ZeBd/7OFaw5QXdHhMbspSrc2QiEYKKxtWHIZ6mHsCBY=", "owner": "hacspec", "repo": "hax", "rev": "46bb5c19fb6f6397e15d9a4ff86c556482f81802", "type": "github" }, "original": { "owner": "hacspec", "repo": "hax", "type": "github" } }, "karamel": { "inputs": { "flake-utils": [ "eurydice", "karamel", "fstar", "flake-utils" ], "fstar": "fstar_2", "nixpkgs": [ "eurydice", "karamel", "fstar", "nixpkgs" ] }, "locked": { "lastModified": 1718042424, "narHash": "sha256-6rpa26YdxXiV+PftX11ODFu1yiUAWHHRNgtOhf9mFoY=", "owner": "FStarLang", "repo": "karamel", "rev": "22425a93c68d9e3794909f98854aaffdc0560510", "type": "github" }, "original": { "owner": "FStarLang", "repo": "karamel", "type": "github" } }, "nixpkgs": { "locked": { "lastModified": 1693158576, "narHash": "sha256-aRTTXkYvhXosGx535iAFUaoFboUrZSYb1Ooih/auGp0=", "owner": "NixOS", "repo": "nixpkgs", "rev": "a999c1cc0c9eb2095729d5aa03e0d8f7ed256780", "type": "github" }, "original": { "id": "nixpkgs", "ref": "nixos-unstable", "type": "indirect" } }, "nixpkgs_2": { "locked": { "lastModified": 1693158576, "narHash": "sha256-aRTTXkYvhXosGx535iAFUaoFboUrZSYb1Ooih/auGp0=", "owner": "NixOS", "repo": "nixpkgs", "rev": "a999c1cc0c9eb2095729d5aa03e0d8f7ed256780", "type": "github" }, "original": { "id": "nixpkgs", "ref": "nixos-unstable", "type": "indirect" } }, "nixpkgs_3": { "locked": { "lastModified": 1694343207, "narHash": "sha256-jWi7OwFxU5Owi4k2JmiL1sa/OuBCQtpaAesuj5LXC8w=", "owner": "NixOS", "repo": "nixpkgs", "rev": "78058d810644f5ed276804ce7ea9e82d92bee293", "type": "github" }, "original": { "id": "nixpkgs", "type": "indirect" } }, "nixpkgs_4": { "locked": { "lastModified": 1717974879, "narHash": "sha256-GTO3C88+5DX171F/gVS3Qga/hOs/eRMxPFpiHq2t+D8=", "owner": "nixos", "repo": "nixpkgs", "rev": "c7b821ba2e1e635ba5a76d299af62821cbcb09f3", "type": "github" }, "original": { "owner": "nixos", "ref": "nixos-unstable", "repo": "nixpkgs", "type": "github" } }, "root": { "inputs": { "charon": "charon", "crane": "crane_2", "eurydice": "eurydice", "flake-utils": "flake-utils_5", "fstar": [ "eurydice", "fstar" ], "hax": "hax", "karamel": [ "eurydice", "karamel" ], "nixpkgs": "nixpkgs_4" } }, "rust-overlay": { "inputs": { "flake-utils": [ "charon", "flake-utils" ], "nixpkgs": [ "charon", "nixpkgs" ] }, "locked": { "lastModified": 1701656211, "narHash": "sha256-lfFXsLWH4hVbEKR6K+UcDiKxeS6Lz4FkC1DZ9LHqf9Y=", "owner": "oxalica", "repo": "rust-overlay", "rev": "47a276e820ae4ae1b8d98a503bf09d2ceb52dfd8", "type": "github" }, "original": { "owner": "oxalica", "repo": "rust-overlay", "type": "github" } }, "rust-overlay_2": { "inputs": { "flake-utils": [ "hax", "crane", "flake-utils" ], "nixpkgs": [ "hax", "crane", "nixpkgs" ] }, "locked": { "lastModified": 1693707092, "narHash": "sha256-HR1EnynBSPqbt+04/yxxqsG1E3n6uXrOl7SPco/UnYo=", "owner": "oxalica", "repo": "rust-overlay", "rev": "98ccb73e6eefc481da6039ee57ad8818d1ca8d56", "type": "github" }, "original": { "owner": "oxalica", "repo": "rust-overlay", "type": "github" } }, "rust-overlay_3": { "inputs": { "flake-utils": [ "hax", "flake-utils" ], "nixpkgs": [ "hax", "nixpkgs" ] }, "locked": { "lastModified": 1716862669, "narHash": "sha256-7oTPM9lcdwiI1cpRC313B+lHawocgpY5F07N+Rbm5Uk=", "owner": "oxalica", "repo": "rust-overlay", "rev": "47b2d15658b37716393b2463a019000dbd6ce4bc", "type": "github" }, "original": { "owner": "oxalica", "repo": "rust-overlay", "type": "github" } }, "systems": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", "owner": "nix-systems", "repo": "default", "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", "type": "github" }, "original": { "owner": "nix-systems", "repo": "default", "type": "github" } }, "systems_2": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", "owner": "nix-systems", "repo": "default", "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", "type": "github" }, "original": { "owner": "nix-systems", "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" } }, "systems_4": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", "owner": "nix-systems", "repo": "default", "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", "type": "github" }, "original": { "owner": "nix-systems", "repo": "default", "type": "github" } }, "systems_5": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", "owner": "nix-systems", "repo": "default", "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", "type": "github" }, "original": { "owner": "nix-systems", "repo": "default", "type": "github" } }, "systems_6": { "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", "version": 7 }