diff options
author | Silvan Mosberger <infinisil@icloud.com> | 2017-08-01 22:03:30 +0200 |
---|---|---|
committer | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2017-08-01 22:03:30 +0200 |
commit | f5fa5fa4d629a0dbc8033d86f1d5c6b2eb531f96 (patch) | |
tree | 37e63a069ad3b93b0823b7e19168652dbd421cea /pkgs/applications/science/logic/prover9/default.nix | |
parent | 3b06b8edb792dbf149ad04794c6e35149587ee20 (diff) |
pkgs: refactor needless quoting of homepage meta attribute (#27809)
* pkgs: refactor needless quoting of homepage meta attribute A lot of packages are needlessly quoting the homepage meta attribute (about 1400, 22%), this commit refactors all of those instances. * pkgs: Fixing some links that were wrongfully unquoted in the previous commit * Fixed some instances
Diffstat (limited to 'pkgs/applications/science/logic/prover9/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/prover9/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/prover9/default.nix b/pkgs/applications/science/logic/prover9/default.nix index 43c2ae141b7a7..74e31d062f484 100644 --- a/pkgs/applications/science/logic/prover9/default.nix +++ b/pkgs/applications/science/logic/prover9/default.nix @@ -31,7 +31,7 @@ stdenv.mkDerivation { ''; meta = { - homepage = "http://www.cs.unm.edu/~mccune/mace4/"; + homepage = http://www.cs.unm.edu/~mccune/mace4/; license = "GPL"; description = "Automated theorem prover for first-order and equational logic"; longDescription = '' |