Skip to content

Commit

Permalink
Merge pull request NixOS#46377 from dasJ/nonhttp
Browse files Browse the repository at this point in the history
treewide: Use http/https for homepages
  • Loading branch information
Mic92 committed Sep 9, 2018
2 parents bd176a0 + 9ef7785 commit 201ee19
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion pkgs/development/coq-modules/QuickChick/default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ stdenv.mkDerivation rec {
'';

meta = with stdenv.lib; {
homepage = git://github.com/QuickChick/QuickChick.git;
homepage = https://github.com/QuickChick/QuickChick;
description = "Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
Expand Down
2 changes: 1 addition & 1 deletion pkgs/development/coq-modules/category-theory/default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ stdenv.mkDerivation rec {
'';

meta = with stdenv.lib; {
homepage = git://github.com/jwiegley/category-theory.git;
homepage = https://github.com/jwiegley/category-theory;
description = "A formalization of category theory in Coq for personal study and practical work";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
Expand Down
2 changes: 1 addition & 1 deletion pkgs/development/coq-modules/coq-haskell/default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ stdenv.mkDerivation rec {
'';

meta = with stdenv.lib; {
homepage = git://github.com/jwiegley/coq-haskell.git;
homepage = https://github.com/jwiegley/coq-haskell;
description = "A library for formalizing Haskell types and functions in Coq";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
Expand Down
2 changes: 1 addition & 1 deletion pkgs/development/python-modules/urlgrabber/default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ buildPythonPackage rec {
propagatedBuildInputs = [ pycurl ];

meta = with stdenv.lib; {
homepage = "urlgrabber.baseurl.org";
homepage = http://urlgrabber.baseurl.org;
license = licenses.lgpl2Plus;
description = "Python module for downloading files";
maintainers = with maintainers; [ qknight ];
Expand Down

0 comments on commit 201ee19

Please sign in to comment.