diff options
| -rw-r--r-- | flake.lock | 2 | ||||
| -rw-r--r-- | flake.nix | 2 |
2 files changed, 2 insertions, 2 deletions
| @@ -126,7 +126,7 @@ | |||
| 126 | }, | 126 | }, |
| 127 | "original": { | 127 | "original": { |
| 128 | "owner": "DavHau", | 128 | "owner": "DavHau", |
| 129 | "ref": "master", | 129 | "ref": "65266b5cc867fec2cb6a25409dd7cd12251f6107", |
| 130 | "repo": "mach-nix", | 130 | "repo": "mach-nix", |
| 131 | "type": "github" | 131 | "type": "github" |
| 132 | } | 132 | } |
| @@ -60,7 +60,7 @@ | |||
| 60 | type = "github"; | 60 | type = "github"; |
| 61 | owner = "DavHau"; | 61 | owner = "DavHau"; |
| 62 | repo = "mach-nix"; | 62 | repo = "mach-nix"; |
| 63 | ref = "master"; | 63 | ref = "65266b5cc867fec2cb6a25409dd7cd12251f6107"; |
| 64 | inputs = { | 64 | inputs = { |
| 65 | nixpkgs.follows = "nixpkgs"; | 65 | nixpkgs.follows = "nixpkgs"; |
| 66 | pypi-deps-db.follows = "pypi-deps-db"; | 66 | pypi-deps-db.follows = "pypi-deps-db"; |
