diff options
| author | xaverdh <xaverdh@users.noreply.github.com> | 2021-11-10 10:37:56 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-10 11:37:56 +0100 |
| commit | 03a257e5a34db7dcf56e74a4da121843d5a17799 (patch) | |
| tree | 062c0cbc66bee3c5bc7613961c55cb6d58b73d60 /pkgs/development/coq-modules | |
| parent | 585b69bbf3a1f69b954c95f7059a9d76e2c468e7 (diff) | |
| download | nixpkgs-03a257e5a34db7dcf56e74a4da121843d5a17799.tar nixpkgs-03a257e5a34db7dcf56e74a4da121843d5a17799.tar.gz nixpkgs-03a257e5a34db7dcf56e74a4da121843d5a17799.tar.bz2 nixpkgs-03a257e5a34db7dcf56e74a4da121843d5a17799.tar.lz nixpkgs-03a257e5a34db7dcf56e74a4da121843d5a17799.tar.xz nixpkgs-03a257e5a34db7dcf56e74a4da121843d5a17799.tar.zst nixpkgs-03a257e5a34db7dcf56e74a4da121843d5a17799.zip | |
treewide: quote urls according to rfc 0045 (#145260)
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/serapi/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/serapi/default.nix b/pkgs/development/coq-modules/serapi/default.nix index 01954dff655..f70cdcc9322 100644 --- a/pkgs/development/coq-modules/serapi/default.nix +++ b/pkgs/development/coq-modules/serapi/default.nix @@ -57,7 +57,7 @@ in ''; meta = with lib; { - homepage = https://github.com/ejgallego/coq-serapi; + homepage = "https://github.com/ejgallego/coq-serapi"; description = "SerAPI is a library for machine-to-machine interaction with the Coq proof assistant"; license = licenses.lgpl21Plus; maintainers = [ maintainers.Zimmi48 ]; |