From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:33975) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iYGRR-0004LZ-ME for guix-patches@gnu.org; Fri, 22 Nov 2019 16:26:14 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iYGRQ-0005mk-KO for guix-patches@gnu.org; Fri, 22 Nov 2019 16:26:13 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:46788) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iYGRQ-0005mf-HJ for guix-patches@gnu.org; Fri, 22 Nov 2019 16:26:12 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iYGRK-0004Rw-Ni for guix-patches@gnu.org; Fri, 22 Nov 2019 16:26:09 -0500 Subject: [bug#38329] [PATCH 2/2] gnu: polyml: Use HTTPS home page URI. Resent-Message-ID: Received: from eggs.gnu.org ([2001:470:142:3::10]:33912) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iYGQt-0004E1-R9 for guix-patches@gnu.org; Fri, 22 Nov 2019 16:25:40 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iYGQs-0005f4-OP for guix-patches@gnu.org; Fri, 22 Nov 2019 16:25:39 -0500 Received: from mout02.posteo.de ([185.67.36.66]:53493) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iYGQs-0005ew-I2 for guix-patches@gnu.org; Fri, 22 Nov 2019 16:25:38 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 6F8492400E6 for ; Fri, 22 Nov 2019 22:25:37 +0100 (CET) Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 47KTxD0sPFz9rxH for ; Fri, 22 Nov 2019 22:25:35 +0100 (CET) From: Brett Gilio Date: Fri, 22 Nov 2019 15:25:38 -0600 Message-ID: <87d0djiox9.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0002-gnu-polyml-Use-HTTPS-home-page-URI.patch Content-Description: [PATCH 2/2] gnu: polyml: Use HTTPS home page URI. List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 38329@debbugs.gnu.org >From cf2373e97c26838892b2a9e1bd300e73616a2a4d Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Fri, 22 Nov 2019 15:24:13 -0600 Subject: [PATCH 2/2] gnu: polyml: Use HTTPS home page URI. * gnu/packages/sml.scm (polyml)[home-page]: Use HTTPS URI. --- gnu/packages/sml.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm index fd1ba4a539..30ee58c498 100644 --- a/gnu/packages/sml.scm +++ b/gnu/packages/sml.scm @@ -66,7 +66,7 @@ make-flags) make-flags)) (apply system* "make" (append flags (list "compiler")))))))) - (home-page "http://www.polyml.org/") + (home-page "https://www.polyml.org/") (synopsis "Standard ML implementation") (description "Poly/ML is a Standard ML implementation. It is fully compatible with the ML97 standard. It includes a thread library, a foreign -- 2.24.0