about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/cvc3
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/cvc3
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/cvc3')
-rw-r--r--pkgs/applications/science/logic/cvc3/default.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/cvc3/default.nix b/pkgs/applications/science/logic/cvc3/default.nix
index 505d09ef3903b..82fad1134bc47 100644
--- a/pkgs/applications/science/logic/cvc3/default.nix
+++ b/pkgs/applications/science/logic/cvc3/default.nix
@@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
       [ raskin ];
     platforms = platforms.linux;
     license = licenses.free;
-    homepage = "http://www.cs.nyu.edu/acsys/cvc3/index.html";
+    homepage = http://www.cs.nyu.edu/acsys/cvc3/index.html;
   };
   passthru = {
     updateInfo = {