repo organisation changed from coreos to dexidp
There is already another thing called "dex" that manipulates .desktop files, so I called this one "dex-oidc" in all-packages.nix.