mirror of
https://git.savannah.gnu.org/git/guix.git
synced 2025-01-31 14:56:54 +01:00
gnu: smlnj: Use HTTPS home page.
* gnu/packages/sml.scm (smlnj)[home-page]: Use HTTPS. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
parent
a0adb5f403
commit
fe7856b6ed
1 changed files with 1 additions and 1 deletions
|
@ -317,7 +317,7 @@ (define-public smlnj
|
||||||
,(smlnj-file version
|
,(smlnj-file version
|
||||||
"asdl.tgz"
|
"asdl.tgz"
|
||||||
"0mad2df5pmkdsb69gflxma6m6i3gla6hdmjjnkzk76pagpr8zb0m"))))
|
"0mad2df5pmkdsb69gflxma6m6i3gla6hdmjjnkzk76pagpr8zb0m"))))
|
||||||
(home-page "http://www.smlnj.org")
|
(home-page "https://www.smlnj.org")
|
||||||
(synopsis "Standard ML of New Jersey interactive compiler")
|
(synopsis "Standard ML of New Jersey interactive compiler")
|
||||||
(description
|
(description
|
||||||
"SML/NJ is an implementation of the Standard ML programming language.
|
"SML/NJ is an implementation of the Standard ML programming language.
|
||||||
|
|
Loading…
Reference in a new issue