diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/agda')
9 files changed, 9 insertions, 9 deletions
diff --git a/nixpkgs/pkgs/development/libraries/agda/Agda-Sheaves/default.nix b/nixpkgs/pkgs/development/libraries/agda/Agda-Sheaves/default.nix index 62856157b4b..513b79e6393 100644 --- a/nixpkgs/pkgs/development/libraries/agda/Agda-Sheaves/default.nix +++ b/nixpkgs/pkgs/development/libraries/agda/Agda-Sheaves/default.nix @@ -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; diff --git a/nixpkgs/pkgs/development/libraries/agda/TotalParserCombinators/default.nix b/nixpkgs/pkgs/development/libraries/agda/TotalParserCombinators/default.nix index 344da00d04f..97cceebc1b6 100644 --- a/nixpkgs/pkgs/development/libraries/agda/TotalParserCombinators/default.nix +++ b/nixpkgs/pkgs/development/libraries/agda/TotalParserCombinators/default.nix @@ -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; diff --git a/nixpkgs/pkgs/development/libraries/agda/agda-base/default.nix b/nixpkgs/pkgs/development/libraries/agda/agda-base/default.nix index 1bc9d0cb882..678b3a28dc7 100644 --- a/nixpkgs/pkgs/development/libraries/agda/agda-base/default.nix +++ b/nixpkgs/pkgs/development/libraries/agda/agda-base/default.nix @@ -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; diff --git a/nixpkgs/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix b/nixpkgs/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix index 30a03980e44..23013bfbc32 100644 --- a/nixpkgs/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix +++ b/nixpkgs/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix @@ -18,7 +18,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; diff --git a/nixpkgs/pkgs/development/libraries/agda/agda-prelude/default.nix b/nixpkgs/pkgs/development/libraries/agda/agda-prelude/default.nix index bcdad18bede..86f21ad9b19 100644 --- a/nixpkgs/pkgs/development/libraries/agda/agda-prelude/default.nix +++ b/nixpkgs/pkgs/development/libraries/agda/agda-prelude/default.nix @@ -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; diff --git a/nixpkgs/pkgs/development/libraries/agda/agda-stdlib/default.nix b/nixpkgs/pkgs/development/libraries/agda/agda-stdlib/default.nix index 033ba67f661..6056173c311 100644 --- a/nixpkgs/pkgs/development/libraries/agda/agda-stdlib/default.nix +++ b/nixpkgs/pkgs/development/libraries/agda/agda-stdlib/default.nix @@ -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; diff --git a/nixpkgs/pkgs/development/libraries/agda/bitvector/default.nix b/nixpkgs/pkgs/development/libraries/agda/bitvector/default.nix index c09702c48d7..bf9798557b1 100644 --- a/nixpkgs/pkgs/development/libraries/agda/bitvector/default.nix +++ b/nixpkgs/pkgs/development/libraries/agda/bitvector/default.nix @@ -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; diff --git a/nixpkgs/pkgs/development/libraries/agda/categories/default.nix b/nixpkgs/pkgs/development/libraries/agda/categories/default.nix index a58afd7e866..fef01ee9be7 100644 --- a/nixpkgs/pkgs/development/libraries/agda/categories/default.nix +++ b/nixpkgs/pkgs/development/libraries/agda/categories/default.nix @@ -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; diff --git a/nixpkgs/pkgs/development/libraries/agda/pretty/default.nix b/nixpkgs/pkgs/development/libraries/agda/pretty/default.nix index ffae1f6f900..de4cfaa6637 100644 --- a/nixpkgs/pkgs/development/libraries/agda/pretty/default.nix +++ b/nixpkgs/pkgs/development/libraries/agda/pretty/default.nix @@ -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; |