summaryrefslogtreecommitdiff
path: root/flake.lock
diff options
context:
space:
mode:
Diffstat (limited to 'flake.lock')
-rw-r--r--flake.lock165
1 files changed, 165 insertions, 0 deletions
diff --git a/flake.lock b/flake.lock
new file mode 100644
index 00000000..dc8cda47
--- /dev/null
+++ b/flake.lock
@@ -0,0 +1,165 @@
+{
+ "nodes": {
+ "charon": {
+ "inputs": {
+ "crane": "crane",
+ "flake-utils": "flake-utils",
+ "nixpkgs": "nixpkgs",
+ "rust-overlay": "rust-overlay_2"
+ },
+ "locked": {
+ "lastModified": 1668090384,
+ "narHash": "sha256-42QObuoKs+1JA+DEMXXFNhDzgE/Fy49Tjty3re80C4Y=",
+ "owner": "aeneasverif",
+ "repo": "charon",
+ "rev": "fe2d852eb9e4efc43604bed7441d40e7c35f45a9",
+ "type": "github"
+ },
+ "original": {
+ "owner": "aeneasverif",
+ "repo": "charon",
+ "type": "github"
+ }
+ },
+ "crane": {
+ "inputs": {
+ "flake-compat": "flake-compat",
+ "flake-utils": [
+ "charon",
+ "flake-utils"
+ ],
+ "nixpkgs": [
+ "charon",
+ "nixpkgs"
+ ],
+ "rust-overlay": "rust-overlay"
+ },
+ "locked": {
+ "lastModified": 1666567222,
+ "narHash": "sha256-AVySilLW+eNM409GSIJYsF6wg5NsxK12Ht2DMSYAgO0=",
+ "owner": "ipetkov",
+ "repo": "crane",
+ "rev": "2ce1a3313e299b0db63b11f94c863af74b0b08ad",
+ "type": "github"
+ },
+ "original": {
+ "owner": "ipetkov",
+ "repo": "crane",
+ "type": "github"
+ }
+ },
+ "flake-compat": {
+ "flake": false,
+ "locked": {
+ "lastModified": 1650374568,
+ "narHash": "sha256-Z+s0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh+E=",
+ "owner": "edolstra",
+ "repo": "flake-compat",
+ "rev": "b4a34015c698c7793d592d66adbab377907a2be8",
+ "type": "github"
+ },
+ "original": {
+ "owner": "edolstra",
+ "repo": "flake-compat",
+ "type": "github"
+ }
+ },
+ "flake-utils": {
+ "locked": {
+ "lastModified": 1659877975,
+ "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
+ "owner": "numtide",
+ "repo": "flake-utils",
+ "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
+ "type": "github"
+ },
+ "original": {
+ "owner": "numtide",
+ "repo": "flake-utils",
+ "type": "github"
+ }
+ },
+ "nixpkgs": {
+ "locked": {
+ "lastModified": 1666703756,
+ "narHash": "sha256-GwpMJ1hT+z1fMAUkaGtvbvofJQwdVFDEGVhfE82+AUk=",
+ "owner": "NixOS",
+ "repo": "nixpkgs",
+ "rev": "f994293d1eb8812f032e8919e10a594567cf6ef7",
+ "type": "github"
+ },
+ "original": {
+ "id": "nixpkgs",
+ "ref": "nixos-unstable",
+ "type": "indirect"
+ }
+ },
+ "root": {
+ "inputs": {
+ "charon": "charon",
+ "flake-utils": [
+ "charon",
+ "flake-utils"
+ ],
+ "nixpkgs": [
+ "charon",
+ "nixpkgs"
+ ]
+ }
+ },
+ "rust-overlay": {
+ "inputs": {
+ "flake-utils": [
+ "charon",
+ "crane",
+ "flake-utils"
+ ],
+ "nixpkgs": [
+ "charon",
+ "crane",
+ "nixpkgs"
+ ]
+ },
+ "locked": {
+ "lastModified": 1666494036,
+ "narHash": "sha256-4mmm+1MBPMD56LMLN9QcEwnfnu41NkA6lDeZGjSrxIw=",
+ "owner": "oxalica",
+ "repo": "rust-overlay",
+ "rev": "af2e939ba2c7cbb188d06d6650c6353b10b3f2be",
+ "type": "github"
+ },
+ "original": {
+ "owner": "oxalica",
+ "repo": "rust-overlay",
+ "type": "github"
+ }
+ },
+ "rust-overlay_2": {
+ "inputs": {
+ "flake-utils": [
+ "charon",
+ "flake-utils"
+ ],
+ "nixpkgs": [
+ "charon",
+ "nixpkgs"
+ ]
+ },
+ "locked": {
+ "lastModified": 1666839029,
+ "narHash": "sha256-gmSmf3bDS9oR4OHsvKHEErqje228XXP22uKIQWZj4Jo=",
+ "owner": "oxalica",
+ "repo": "rust-overlay",
+ "rev": "c095030cf6c84e304f867ad066d8d5b051131af5",
+ "type": "github"
+ },
+ "original": {
+ "owner": "oxalica",
+ "repo": "rust-overlay",
+ "type": "github"
+ }
+ }
+ },
+ "root": "root",
+ "version": 7
+}