|
| From: | Ludovic Courtès |
| Subject: | bug#55534: [PATCH] gnu: smlnj: Use HTTPS home page. |
| Date: | Wed, 01 Jun 2022 23:23:43 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) |
Foo Chuan Wei <chuanwei.foo@hotmail.com> skribis: > * gnu/packages/sml.scm (smlnj)[home-page]: Use HTTPS. Applied!
| [Prev in Thread] | Current Thread | [Next in Thread] |