GNU bug report logs - #55534
[PATCH] gnu: smlnj: Use HTTPS home page.

Previous Next

Package: guix-patches;

Reported by: Foo Chuan Wei <chuanwei.foo <at> hotmail.com>

Date: Fri, 20 May 2022 04:16:02 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 55534 in the body.
You can then email your comments to 55534 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#55534; Package guix-patches. (Fri, 20 May 2022 04:16:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Foo Chuan Wei <chuanwei.foo <at> hotmail.com>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Fri, 20 May 2022 04:16:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Foo Chuan Wei <chuanwei.foo <at> hotmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: smlnj: Use HTTPS home page.
Date: Fri, 20 May 2022 04:09:56 +0000

* gnu/packages/sml.scm (smlnj)[home-page]: Use HTTPS.
---
 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 04411c02c3..1895d8eeee 100644
--- a/gnu/packages/sml.scm
+++ b/gnu/packages/sml.scm
@@ -317,7 +317,7 @@ function interface, and a symbolic debugger.")
         ,(smlnj-file version
                      "asdl.tgz"
                      "0mad2df5pmkdsb69gflxma6m6i3gla6hdmjjnkzk76pagpr8zb0m"))))
-    (home-page "http://www.smlnj.org")
+    (home-page "https://www.smlnj.org")
     (synopsis "Standard ML of New Jersey interactive compiler")
     (description
       "SML/NJ is an implementation of the Standard ML programming language.

base-commit: cf17cbbc1b16dd15c8ec2e637d240de7ae5c3a44
-- 
2.25.1
Reply sent to Ludovic Courtès <ludo <at> gnu.org>:
You have taken responsibility. (Wed, 01 Jun 2022 21:24:02 GMT) Full text and rfc822 format available.
Notification sent to Foo Chuan Wei <chuanwei.foo <at> hotmail.com>:
bug acknowledged by developer. (Wed, 01 Jun 2022 21:24:03 GMT) Full text and rfc822 format available.

Message #10 received at 55534-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: 55534-done <at> debbugs.gnu.org
Subject: Re: bug#55534: [PATCH] gnu: smlnj: Use HTTPS home page.
Date: Wed, 01 Jun 2022 23:23:43 +0200

Foo Chuan Wei <chuanwei.foo <at> hotmail.com> skribis:

> * gnu/packages/sml.scm (smlnj)[home-page]: Use HTTPS.

Applied!
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Thu, 30 Jun 2022 11:24:06 GMT) Full text and rfc822 format available.
This bug report was last modified 1 year and 299 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.