about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/minisat
diff options
context:
space:
mode:
authorSilvan Mosberger <infinisil@icloud.com>2017-08-01 22:03:30 +0200
committerFrederik Rietdijk <freddyrietdijk@fridh.nl>2017-08-01 22:03:30 +0200
commitf5fa5fa4d629a0dbc8033d86f1d5c6b2eb531f96 (patch)
tree37e63a069ad3b93b0823b7e19168652dbd421cea /pkgs/applications/science/logic/minisat
parent3b06b8edb792dbf149ad04794c6e35149587ee20 (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/minisat')
-rw-r--r--pkgs/applications/science/logic/minisat/default.nix2
-rw-r--r--pkgs/applications/science/logic/minisat/unstable.nix2
2 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/minisat/default.nix b/pkgs/applications/science/logic/minisat/default.nix
index d980afee7c4e9..4b2116680d508 100644
--- a/pkgs/applications/science/logic/minisat/default.nix
+++ b/pkgs/applications/science/logic/minisat/default.nix
@@ -27,6 +27,6 @@ stdenv.mkDerivation rec {
     maintainers = with maintainers; [ gebner raskin ];
     platforms = platforms.unix;
     license = licenses.mit;
-    homepage = "http://minisat.se/";
+    homepage = http://minisat.se/;
   };
 }
diff --git a/pkgs/applications/science/logic/minisat/unstable.nix b/pkgs/applications/science/logic/minisat/unstable.nix
index 9d63f32c54491..f1a42f8215e30 100644
--- a/pkgs/applications/science/logic/minisat/unstable.nix
+++ b/pkgs/applications/science/logic/minisat/unstable.nix
@@ -18,6 +18,6 @@ stdenv.mkDerivation rec {
     maintainers = with maintainers; [ mic92 ];
     platforms = platforms.unix;
     license = licenses.mit;
-    homepage = "http://minisat.se/";
+    homepage = http://minisat.se/;
   };
 }