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

Merge pull request #46377 from dasJ/nonhttp

Browse Source 
treewide: Use http/https for homepages
This commit is contained in:
Jörg Thalheim 2018-09-09 15:50:25 +01:00 committed by GitHub
commit 201ee19758
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/coq-modules/QuickChick/default.nix
View File

@ -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;

2
pkgs/development/coq-modules/category-theory/default.nix
View File

@ -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;

2
pkgs/development/coq-modules/coq-haskell/default.nix
View File

@ -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;

2
pkgs/development/python-modules/urlgrabber/default.nix
View File

@ -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 ];