8cef967e96
The upstream repo names are the same as the new package names. The old package names are probably relicts from when nix didn't properly support dashes in identifiers.