Treewide: use HTTPS on GNU domains
HTTP -> HTTPS for : - http://gnu.org/ - http://www.gnu.org/ - http://elpa.gnu.org/ - http://lists.gnu.org/ - http://gcc.gnu.org/ - http://ftp.gnu.org/ (except in fetchurl mirrors) - http://bugs.gnu.org/
This commit is contained in:
@@ -34,7 +34,7 @@ stdenv.mkDerivation rec {
|
||||
doCheck = true;
|
||||
|
||||
meta = {
|
||||
homepage = http://www.gnu.org/software/gprolog/;
|
||||
homepage = https://www.gnu.org/software/gprolog/;
|
||||
description = "GNU Prolog, a free Prolog compiler with constraint solving over finite domains";
|
||||
license = stdenv.lib.licenses.lgpl3Plus;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user