treewide: Use http/https for homepages

2018-09-08 18:30:00 +02:00
parent b58a230c60
commit 9ef77854f7
4 changed files with 4 additions and 4 deletions
@@ -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;