Since https://github.com/NixOS/nixpkgs/pull/421125 is merged now, we should extract these PURLs from Nixpkgs and use them when available.
Since NixOS/nixpkgs#421125 is merged now, we should extract these PURLs from Nixpkgs and use them when available.