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/hol | |
| parent | 3b06b8edb792dbf149ad04794c6e35149587ee20 (diff) | |
| download | nixpkgs-f5fa5fa4d629a0dbc8033d86f1d5c6b2eb531f96.tar nixpkgs-f5fa5fa4d629a0dbc8033d86f1d5c6b2eb531f96.tar.gz nixpkgs-f5fa5fa4d629a0dbc8033d86f1d5c6b2eb531f96.tar.bz2 nixpkgs-f5fa5fa4d629a0dbc8033d86f1d5c6b2eb531f96.tar.lz nixpkgs-f5fa5fa4d629a0dbc8033d86f1d5c6b2eb531f96.tar.xz nixpkgs-f5fa5fa4d629a0dbc8033d86f1d5c6b2eb531f96.tar.zst nixpkgs-f5fa5fa4d629a0dbc8033d86f1d5c6b2eb531f96.zip | |
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/hol')
| -rw-r--r-- | pkgs/applications/science/logic/hol/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/hol/default.nix b/pkgs/applications/science/logic/hol/default.nix index e931c6fcf9d..5eb33daefe8 100644 --- a/pkgs/applications/science/logic/hol/default.nix +++ b/pkgs/applications/science/logic/hol/default.nix @@ -79,7 +79,7 @@ stdenv.mkDerivation { implementing combinations of deduction, execution and property checking. ''; - homepage = "http://hol.sourceforge.net/"; + homepage = http://hol.sourceforge.net/; license = licenses.bsd3; maintainers = with maintainers; [ mudri ]; platforms = with platforms; linux; |