diff options
| author | Foo Chuan Wei <chuanwei.foo@hotmail.com> | 2022-05-20 04:09:56 +0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-06-01 23:28:20 +0200 |
| commit | fe7856b6ed8f197fae0e989927783bd010bc482d (patch) | |
| tree | 07b3ec90ba4448ccc6e2403f20ba8ecafeecb2b0 | |
| parent | a0adb5f403a8a03ca2ce9ecbfecd875958cbd539 (diff) | |
| download | guix-patches-fe7856b6ed8f197fae0e989927783bd010bc482d.tar guix-patches-fe7856b6ed8f197fae0e989927783bd010bc482d.tar.gz | |
gnu: smlnj: Use HTTPS home page.
* gnu/packages/sml.scm (smlnj)[home-page]: Use HTTPS.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| -rw-r--r-- | gnu/packages/sml.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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. |