checkInputs used to be added to nativeBuildInputs. Now we have nativeCheckInputs to do that instead. Doing this treewide change allows to keep hashes identical to before the introduction of nativeCheckInputs.
This matches the name used in dune and on OPAM.
Using the script in maintainers/scripts/update-redirected-urls.sh