Commit 5c905815 authored by Pablo Ovelleiro Corral's avatar Pablo Ovelleiro Corral Committed by Vincent Laporte
Browse files

coq: fix hompage url 

Just a trivial nitpick
parent 979bfdb6

pkgs/applications/science/logic/coq/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -217,7 +217,7 @@ self = stdenv.mkDerivation { 
      together with an environment for semi-interactive development of

      machine-checked proofs.

    '';

    homepage = "http://coq.inria.fr";

    homepage = "https://coq.inria.fr";

    license = licenses.lgpl21;

    branch = coq-version;

    maintainers = with maintainers; [ roconnor thoughtpolice vbgl Zimmi48 ];