public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

pkgs: refactor needless quoting of homepage meta attribute (#27809)

Browse Source 
* 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
This commit is contained in:
Silvan Mosberger
2017-08-01 22:03:30 +02:00
committed by Frederik Rietdijk
parent 3b06b8edb7
commit f5fa5fa4d6
1394 changed files with 1449 additions and 1451 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/libraries/agda/Agda-Sheaves/default.nix
View File

@@ -14,7 +14,7 @@ agda.mkDerivation (self: rec {
sourceDirectories = [];
meta = {
homepage = "https://github.com/jonsterling/Agda-Sheaves";
homepage = https://github.com/jonsterling/Agda-Sheaves;
description = "Sheaves in Agda";
license = stdenv.lib.licenses.cc-by-40;
platforms = stdenv.lib.platforms.unix;

2
pkgs/development/libraries/agda/TotalParserCombinators/default.nix
View File

@@ -16,7 +16,7 @@ agda.mkDerivation (self: rec {
topSourceDirectories = [ "../$sourceRoot" ];
meta = with stdenv.lib; {
homepage = "http://www.cse.chalmers.se/~nad/publications/danielsson-parser-combinators.html";
homepage = http://www.cse.chalmers.se/~nad/publications/danielsson-parser-combinators.html;
description = "A monadic parser combinator library which guarantees termination of parsing";
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix;

2
pkgs/development/libraries/agda/agda-base/default.nix
View File

@@ -13,7 +13,7 @@ agda.mkDerivation (self: rec {
everythingFile = "README.agda";
meta = {
homepage = "https://github.com/pcapriotti/agda-base";
homepage = https://github.com/pcapriotti/agda-base;
description = "Base library for HoTT in Agda";
license = stdenv.lib.licenses.bsd3;
platforms = stdenv.lib.platforms.unix;

2
pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
View File

@@ -17,7 +17,7 @@ agda.mkDerivation (self: rec {
'';
meta = {
homepage = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib/";
homepage = https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib/;
description = "Agda standard library developed at Iowa";
license = stdenv.lib.licenses.free;
platforms = stdenv.lib.platforms.unix;

2
pkgs/development/libraries/agda/agda-prelude/default.nix
View File

@@ -14,7 +14,7 @@ agda.mkDerivation (self: rec {
everythingFile = "src/Prelude.agda";
meta = with stdenv.lib; {
homepage = "https://github.com/UlfNorell/agda-prelude";
homepage = https://github.com/UlfNorell/agda-prelude;
description = "Programming library for Agda";
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix;

2
pkgs/development/libraries/agda/agda-stdlib/default.nix
View File

@@ -19,7 +19,7 @@ agda.mkDerivation (self: rec {
topSourceDirectories = [ "src" ];
meta = with stdenv.lib; {
homepage = "http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary";
homepage = http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary;
description = "A standard library for use with the Agda compiler";
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix;

2
pkgs/development/libraries/agda/bitvector/default.nix
View File

@@ -14,7 +14,7 @@ agda.mkDerivation (self: rec {
sourceDirectories = [ "Data" ];
meta = {
homepage = "https://github.com/copumpkin/bitvector";
homepage = https://github.com/copumpkin/bitvector;
description = "Sequences of bits and common operations on them";
license = stdenv.lib.licenses.bsd3;
platforms = stdenv.lib.platforms.unix;

2
pkgs/development/libraries/agda/categories/default.nix
View File

@@ -14,7 +14,7 @@ agda.mkDerivation (self: rec {
sourceDirectories = [ "Categories" "Graphs" ];
meta = {
homepage = "https://github.com/copumpkin/categories";
homepage = https://github.com/copumpkin/categories;
description = "Categories parametrized by morphism equality, in Agda";
license = stdenv.lib.licenses.bsd3;
platforms = stdenv.lib.platforms.unix;

2
pkgs/development/libraries/agda/pretty/default.nix
View File

@@ -16,7 +16,7 @@ agda.mkDerivation (self: rec {
topSourceDirectories = [ "../$sourceRoot" ];
meta = with stdenv.lib; {
homepage = "http://www.cse.chalmers.se/~nad/publications/danielsson-correct-pretty.html";
homepage = http://www.cse.chalmers.se/~nad/publications/danielsson-correct-pretty.html;
description = "Correct-by-Construction Pretty-Printing";
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix;