From c639cd08ec7dad8fff4a6cefa8f908041cc8b135 Mon Sep 17 00:00:00 2001 From: David Spencer Date: Tue, 5 Jun 2018 21:41:30 +0100 Subject: development/polyml: Switch to https. Signed-off-by: David Spencer --- development/polyml/polyml.info | 2 +- development/polyml/slack-desc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'development') diff --git a/development/polyml/polyml.info b/development/polyml/polyml.info index 0baea93db5..8cc79e2a7d 100644 --- a/development/polyml/polyml.info +++ b/development/polyml/polyml.info @@ -1,6 +1,6 @@ PRGNAM="polyml" VERSION="5.5.2" -HOMEPAGE="http://www.polyml.org/" +HOMEPAGE="https://www.polyml.org/" DOWNLOAD="http://downloads.sourceforge.net/project/polyml/polyml/5.5.2/polyml.5.5.2.tar.gz" MD5SUM="c935fd2d17749c1e127098215da990c9" DOWNLOAD_x86_64="" diff --git a/development/polyml/slack-desc b/development/polyml/slack-desc index 719dd85876..20cdd760da 100644 --- a/development/polyml/slack-desc +++ b/development/polyml/slack-desc @@ -11,7 +11,7 @@ polyml: polyml: Poly/ML is a full implementation of Standard ML available as polyml: open-source. polyml: -polyml: Website: http://www.polyml.org/ +polyml: Website: https://www.polyml.org/ polyml: polyml: polyml: -- cgit v1.2.3