2023-07-31 14:18:02 +02:00
|
|
|
{
|
|
|
|
"nodes": {
|
2023-10-06 12:01:35 +02:00
|
|
|
"agda": {
|
|
|
|
"inputs": {
|
2024-08-23 22:07:47 +02:00
|
|
|
"flake-parts": "flake-parts",
|
2023-10-06 12:01:35 +02:00
|
|
|
"nixpkgs": [
|
|
|
|
"nixpkgs"
|
|
|
|
]
|
|
|
|
},
|
|
|
|
"locked": {
|
2024-08-23 22:07:47 +02:00
|
|
|
"lastModified": 1723809509,
|
|
|
|
"narHash": "sha256-aC0Vc/YV+rodv1qG839rqNFBqoqy/AkgvLdHxymCIu4=",
|
2023-10-06 12:01:35 +02:00
|
|
|
"owner": "agda",
|
|
|
|
"repo": "agda",
|
2024-08-23 22:07:47 +02:00
|
|
|
"rev": "df1a26d96683ebb06aa8476e4af6bbeddf23efbe",
|
2023-10-06 12:01:35 +02:00
|
|
|
"type": "github"
|
|
|
|
},
|
|
|
|
"original": {
|
|
|
|
"owner": "agda",
|
2024-08-23 22:07:47 +02:00
|
|
|
"ref": "v2.7.0",
|
2023-10-06 12:01:35 +02:00
|
|
|
"repo": "agda",
|
|
|
|
"type": "github"
|
|
|
|
}
|
|
|
|
},
|
|
|
|
"cornelis": {
|
|
|
|
"inputs": {
|
|
|
|
"flake-compat": "flake-compat",
|
2024-08-23 22:07:47 +02:00
|
|
|
"flake-utils": "flake-utils",
|
2023-12-01 19:48:02 +01:00
|
|
|
"nixpkgs": [
|
|
|
|
"nixpkgs"
|
|
|
|
]
|
2023-10-06 12:01:35 +02:00
|
|
|
},
|
|
|
|
"locked": {
|
2024-06-25 13:57:09 +02:00
|
|
|
"lastModified": 1715930772,
|
|
|
|
"narHash": "sha256-gP32IWxjIApK0jxQn3Xorul5SXtMS2tq+K8Wj8afHgg=",
|
2023-10-06 12:01:35 +02:00
|
|
|
"owner": "isovector",
|
|
|
|
"repo": "cornelis",
|
2024-06-25 13:57:09 +02:00
|
|
|
"rev": "06d6020eed1a3520bb2887337dd5b27b1755968b",
|
2023-10-06 12:01:35 +02:00
|
|
|
"type": "github"
|
|
|
|
},
|
|
|
|
"original": {
|
|
|
|
"owner": "isovector",
|
|
|
|
"repo": "cornelis",
|
|
|
|
"type": "github"
|
|
|
|
}
|
|
|
|
},
|
|
|
|
"flake-compat": {
|
|
|
|
"flake": false,
|
|
|
|
"locked": {
|
2023-12-01 17:00:30 +01:00
|
|
|
"lastModified": 1696426674,
|
|
|
|
"narHash": "sha256-kvjfFW7WAETZlt09AgDn1MrtKzP7t90Vf7vypd3OL1U=",
|
2023-10-06 12:01:35 +02:00
|
|
|
"owner": "edolstra",
|
|
|
|
"repo": "flake-compat",
|
2023-12-01 17:00:30 +01:00
|
|
|
"rev": "0f9255e01c2351cc7d116c072cb317785dd33b33",
|
2023-10-06 12:01:35 +02:00
|
|
|
"type": "github"
|
|
|
|
},
|
|
|
|
"original": {
|
|
|
|
"owner": "edolstra",
|
|
|
|
"repo": "flake-compat",
|
|
|
|
"type": "github"
|
|
|
|
}
|
|
|
|
},
|
2024-08-23 22:07:47 +02:00
|
|
|
"flake-parts": {
|
|
|
|
"inputs": {
|
|
|
|
"nixpkgs-lib": "nixpkgs-lib"
|
|
|
|
},
|
2023-10-12 23:24:36 +02:00
|
|
|
"locked": {
|
2024-08-23 22:07:47 +02:00
|
|
|
"lastModified": 1722555600,
|
|
|
|
"narHash": "sha256-XOQkdLafnb/p9ij77byFQjDf5m5QYl9b2REiVClC+x4=",
|
|
|
|
"owner": "hercules-ci",
|
|
|
|
"repo": "flake-parts",
|
|
|
|
"rev": "8471fe90ad337a8074e957b69ca4d0089218391d",
|
2023-10-12 23:24:36 +02:00
|
|
|
"type": "github"
|
|
|
|
},
|
|
|
|
"original": {
|
2024-08-23 22:07:47 +02:00
|
|
|
"owner": "hercules-ci",
|
|
|
|
"repo": "flake-parts",
|
2023-10-12 23:24:36 +02:00
|
|
|
"type": "github"
|
|
|
|
}
|
|
|
|
},
|
2024-08-23 22:07:47 +02:00
|
|
|
"flake-utils": {
|
2023-10-06 12:01:35 +02:00
|
|
|
"inputs": {
|
|
|
|
"systems": "systems"
|
|
|
|
},
|
|
|
|
"locked": {
|
2024-04-11 13:26:35 +02:00
|
|
|
"lastModified": 1710146030,
|
|
|
|
"narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=",
|
2023-10-06 12:01:35 +02:00
|
|
|
"owner": "numtide",
|
|
|
|
"repo": "flake-utils",
|
2024-04-11 13:26:35 +02:00
|
|
|
"rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a",
|
2023-10-06 12:01:35 +02:00
|
|
|
"type": "github"
|
|
|
|
},
|
|
|
|
"original": {
|
|
|
|
"owner": "numtide",
|
|
|
|
"repo": "flake-utils",
|
|
|
|
"type": "github"
|
|
|
|
}
|
|
|
|
},
|
2024-08-23 22:07:47 +02:00
|
|
|
"flake-utils_2": {
|
2024-06-24 21:53:35 +02:00
|
|
|
"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"
|
|
|
|
}
|
|
|
|
},
|
2024-08-23 22:07:47 +02:00
|
|
|
"flake-utils_3": {
|
2024-07-03 19:13:15 +02:00
|
|
|
"locked": {
|
|
|
|
"lastModified": 1678901627,
|
|
|
|
"narHash": "sha256-U02riOqrKKzwjsxc/400XnElV+UtPUQWpANPlyazjH0=",
|
|
|
|
"owner": "numtide",
|
|
|
|
"repo": "flake-utils",
|
|
|
|
"rev": "93a2b84fc4b70d9e089d029deacc3583435c2ed6",
|
|
|
|
"type": "github"
|
|
|
|
},
|
|
|
|
"original": {
|
|
|
|
"owner": "numtide",
|
|
|
|
"repo": "flake-utils",
|
|
|
|
"type": "github"
|
|
|
|
}
|
|
|
|
},
|
2023-07-31 14:18:02 +02:00
|
|
|
"home-manager": {
|
|
|
|
"inputs": {
|
|
|
|
"nixpkgs": [
|
|
|
|
"nixpkgs"
|
|
|
|
]
|
|
|
|
},
|
|
|
|
"locked": {
|
2024-06-25 13:57:09 +02:00
|
|
|
"lastModified": 1718530513,
|
|
|
|
"narHash": "sha256-BmO8d0r+BVlwWtMLQEYnwmngqdXIuyFzMwvmTcLMee8=",
|
2023-07-31 14:18:02 +02:00
|
|
|
"owner": "nix-community",
|
|
|
|
"repo": "home-manager",
|
2024-06-25 13:57:09 +02:00
|
|
|
"rev": "a1fddf0967c33754271761d91a3d921772b30d0e",
|
2023-07-31 14:18:02 +02:00
|
|
|
"type": "github"
|
|
|
|
},
|
|
|
|
"original": {
|
|
|
|
"owner": "nix-community",
|
2024-06-04 00:26:34 +02:00
|
|
|
"ref": "release-24.05",
|
2023-07-31 14:18:02 +02:00
|
|
|
"repo": "home-manager",
|
|
|
|
"type": "github"
|
|
|
|
}
|
|
|
|
},
|
|
|
|
"nixpkgs": {
|
|
|
|
"locked": {
|
2024-10-16 13:27:09 +02:00
|
|
|
"lastModified": 1728909085,
|
|
|
|
"narHash": "sha256-WLxED18lodtQiayIPDE5zwAfkPJSjHJ35UhZ8h3cJUg=",
|
2023-07-31 14:18:02 +02:00
|
|
|
"owner": "NixOs",
|
|
|
|
"repo": "nixpkgs",
|
2024-10-16 13:27:09 +02:00
|
|
|
"rev": "c0b1da36f7c34a7146501f684e9ebdf15d2bebf8",
|
2023-07-31 14:18:02 +02:00
|
|
|
"type": "github"
|
|
|
|
},
|
|
|
|
"original": {
|
|
|
|
"owner": "NixOs",
|
2024-06-04 00:26:34 +02:00
|
|
|
"ref": "nixos-24.05",
|
2023-07-31 14:18:02 +02:00
|
|
|
"repo": "nixpkgs",
|
|
|
|
"type": "github"
|
|
|
|
}
|
|
|
|
},
|
2024-08-23 22:07:47 +02:00
|
|
|
"nixpkgs-lib": {
|
|
|
|
"locked": {
|
|
|
|
"lastModified": 1722555339,
|
|
|
|
"narHash": "sha256-uFf2QeW7eAHlYXuDktm9c25OxOyCoUOQmh5SZ9amE5Q=",
|
|
|
|
"type": "tarball",
|
|
|
|
"url": "https://github.com/NixOS/nixpkgs/archive/a5d394176e64ab29c852d03346c1fc9b0b7d33eb.tar.gz"
|
|
|
|
},
|
|
|
|
"original": {
|
|
|
|
"type": "tarball",
|
|
|
|
"url": "https://github.com/NixOS/nixpkgs/archive/a5d394176e64ab29c852d03346c1fc9b0b7d33eb.tar.gz"
|
|
|
|
}
|
|
|
|
},
|
2024-04-19 15:24:00 +02:00
|
|
|
"nixpkgs-unstable": {
|
|
|
|
"locked": {
|
2024-10-16 13:27:09 +02:00
|
|
|
"lastModified": 1728888510,
|
|
|
|
"narHash": "sha256-nsNdSldaAyu6PE3YUA+YQLqUDJh+gRbBooMMekZJwvI=",
|
2024-04-19 15:24:00 +02:00
|
|
|
"owner": "NixOs",
|
|
|
|
"repo": "nixpkgs",
|
2024-10-16 13:27:09 +02:00
|
|
|
"rev": "a3c0b3b21515f74fd2665903d4ce6bc4dc81c77c",
|
2024-04-19 15:24:00 +02:00
|
|
|
"type": "github"
|
|
|
|
},
|
|
|
|
"original": {
|
|
|
|
"owner": "NixOs",
|
|
|
|
"ref": "nixos-unstable",
|
|
|
|
"repo": "nixpkgs",
|
|
|
|
"type": "github"
|
|
|
|
}
|
|
|
|
},
|
2024-07-03 19:13:15 +02:00
|
|
|
"nixprof": {
|
|
|
|
"inputs": {
|
2024-08-23 22:07:47 +02:00
|
|
|
"flake-utils": "flake-utils_3",
|
2024-07-03 19:13:15 +02:00
|
|
|
"nixpkgs": [
|
|
|
|
"nixpkgs-unstable"
|
|
|
|
]
|
|
|
|
},
|
|
|
|
"locked": {
|
|
|
|
"lastModified": 1680079910,
|
|
|
|
"narHash": "sha256-8KH3mZZVNB9rf42jSsllsJcs06JVxzgYkvmGgbSkMlI=",
|
|
|
|
"owner": "Kha",
|
|
|
|
"repo": "nixprof",
|
|
|
|
"rev": "8a36221436d1a0f336ba8432dd8ffebbb82c3b29",
|
|
|
|
"type": "github"
|
|
|
|
},
|
|
|
|
"original": {
|
|
|
|
"owner": "Kha",
|
|
|
|
"repo": "nixprof",
|
|
|
|
"type": "github"
|
|
|
|
}
|
|
|
|
},
|
2024-06-24 21:53:35 +02:00
|
|
|
"plasma-manager": {
|
|
|
|
"inputs": {
|
|
|
|
"home-manager": [
|
|
|
|
"home-manager"
|
|
|
|
],
|
2024-08-26 15:43:01 +02:00
|
|
|
"nixpkgs": [
|
|
|
|
"nixpkgs"
|
|
|
|
]
|
2024-06-24 21:53:35 +02:00
|
|
|
},
|
2024-03-05 20:44:17 +01:00
|
|
|
"locked": {
|
2024-08-25 17:53:55 +02:00
|
|
|
"lastModified": 1724556439,
|
|
|
|
"narHash": "sha256-gPR3sxkKxISUvydnqoj54znpUkK8av/HVFuFJuYUw3w=",
|
2024-06-24 21:53:35 +02:00
|
|
|
"owner": "nix-community",
|
|
|
|
"repo": "plasma-manager",
|
2024-08-25 17:53:55 +02:00
|
|
|
"rev": "5c97fe8af2a2e561f14195ed357d8c451fdbff4c",
|
2024-03-05 20:44:17 +01:00
|
|
|
"type": "github"
|
|
|
|
},
|
|
|
|
"original": {
|
2024-06-24 21:53:35 +02:00
|
|
|
"owner": "nix-community",
|
2024-06-25 12:11:51 +02:00
|
|
|
"ref": "trunk",
|
2024-06-24 21:53:35 +02:00
|
|
|
"repo": "plasma-manager",
|
2024-03-05 20:44:17 +01:00
|
|
|
"type": "github"
|
|
|
|
}
|
|
|
|
},
|
2023-07-31 14:18:02 +02:00
|
|
|
"root": {
|
|
|
|
"inputs": {
|
2023-10-12 23:24:36 +02:00
|
|
|
"agda": "agda",
|
2023-10-06 12:01:35 +02:00
|
|
|
"cornelis": "cornelis",
|
2024-08-23 22:07:47 +02:00
|
|
|
"flake-utils": "flake-utils_2",
|
2023-07-31 14:18:02 +02:00
|
|
|
"home-manager": "home-manager",
|
2024-03-05 20:44:17 +01:00
|
|
|
"nixpkgs": "nixpkgs",
|
2024-04-19 15:24:00 +02:00
|
|
|
"nixpkgs-unstable": "nixpkgs-unstable",
|
2024-07-03 19:13:15 +02:00
|
|
|
"nixprof": "nixprof",
|
2024-10-16 14:33:47 +02:00
|
|
|
"plasma-manager": "plasma-manager"
|
2023-10-06 12:01:35 +02:00
|
|
|
}
|
|
|
|
},
|
|
|
|
"systems": {
|
|
|
|
"locked": {
|
|
|
|
"lastModified": 1681028828,
|
|
|
|
"narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
|
|
|
|
"owner": "nix-systems",
|
|
|
|
"repo": "default",
|
|
|
|
"rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
|
|
|
|
"type": "github"
|
|
|
|
},
|
|
|
|
"original": {
|
|
|
|
"owner": "nix-systems",
|
|
|
|
"repo": "default",
|
|
|
|
"type": "github"
|
2023-07-31 14:18:02 +02:00
|
|
|
}
|
2024-06-24 21:53:35 +02:00
|
|
|
},
|
|
|
|
"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"
|
|
|
|
}
|
2023-07-31 14:18:02 +02:00
|
|
|
}
|
|
|
|
},
|
|
|
|
"root": "root",
|
|
|
|
"version": 7
|
|
|
|
}
|