fix: update nix files to use strings instead of URL literals#2172

Kha merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

ConnorBaker:fix/nix-no-url-literalsConnorBaker/lean4:fix/nix-no-url-literalsCopy head branch name to clipboard