Merge branch 'switch-tide-input'

This commit is contained in:
Yisroel Baum 2026-05-08 16:07:29 +03:00
commit 063813a4c3
Signed by: yisroelbaum
GPG key ID: 0FA60884F75520A9
2 changed files with 10 additions and 9 deletions

15
flake.lock generated
View file

@ -87,14 +87,17 @@
"utils": "utils"
},
"locked": {
"lastModified": 1778245136,
"narHash": "sha256-0tuhtVni1ycawyeVjjsBlLUxo8Tu2w37J9g+YxAr8Sg=",
"path": "/home/yisroel/Projects/TIDE",
"type": "path"
"lastModified": 1778227178,
"narHash": "sha256-jKSwouo3oy/B81fwDfL1XlsxrfPmRkOk5BVP7QNxwLs=",
"ref": "refs/heads/master",
"rev": "dfa5327a2b609f4ab111631f547ead0080c81537",
"revCount": 120,
"type": "git",
"url": "https://git.yisroelbaum.com/yisroelbaum/TIDE"
},
"original": {
"path": "/home/yisroel/Projects/TIDE",
"type": "path"
"type": "git",
"url": "https://git.yisroelbaum.com/yisroelbaum/TIDE"
}
},
"utils": {

View file

@ -13,9 +13,7 @@
inputs.nixpkgs.follows = "nixpkgs";
};
tide = {
# Local path while iterating; switch to
# git+https://git.yisroelbaum.com/yisroelbaum/TIDE once pushed.
url = "path:/home/yisroel/Projects/TIDE";
url = "git+https://git.yisroelbaum.com/yisroelbaum/TIDE";
inputs.nixpkgs.follows = "nixpkgs";
};
};