diff options
| author | Guillaume Boisseau | 2024-04-18 14:14:53 +0200 |
|---|---|---|
| committer | GitHub | 2024-04-18 14:14:53 +0200 |
| commit | 8cd6090128397dd9dccf5bb7c27dd85f318aa3c5 (patch) | |
| tree | d2f2bd4b415f55ff4830e35c4883727b89136577 /flake.lock | |
| parent | b4c3829305cac70827f6cbca2e90b0ef8be00d47 (diff) | |
| parent | 6ef342ea6ceb0a49929859ef96c5e0afcea7451f (diff) | |
Merge pull request #116 from AeneasVerif/item_meta
Diffstat (limited to 'flake.lock')
| -rw-r--r-- | flake.lock | 24 |
1 files changed, 20 insertions, 4 deletions
@@ -3,16 +3,17 @@ "charon": { "inputs": { "crane": "crane", + "flake-compat": "flake-compat", "flake-utils": "flake-utils", "nixpkgs": "nixpkgs", "rust-overlay": "rust-overlay" }, "locked": { - "lastModified": 1713364636, - "narHash": "sha256-+1qeUEzEz6wPc/0QaXQ6Co3tx8mckOggW8Hjx0qRFHc=", + "lastModified": 1713433954, + "narHash": "sha256-R3Pb/Z+V5s5neAwlTIhVJ/q3hDC65nLZ8d1ICotSdkM=", "owner": "aeneasverif", "repo": "charon", - "rev": "6267ea774c762a8ca47ce26e66acd6dcc6a0ac6b", + "rev": "80ceb481c90f3cda435d5a60944ea7516415b294", "type": "github" }, "original": { @@ -57,6 +58,21 @@ "type": "github" } }, + "flake-compat_2": { + "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-utils": { "inputs": { "systems": "systems" @@ -236,7 +252,7 @@ "root": { "inputs": { "charon": "charon", - "flake-compat": "flake-compat", + "flake-compat": "flake-compat_2", "flake-utils": [ "charon", "flake-utils" |