inputs: nixpkgs: url: github:nixos/nixpkgs/nixos-23.05