aboutsummaryrefslogtreecommitdiff
path: root/development/polyml
diff options
context:
space:
mode:
authorDavid Spencer <idlemoor@slackbuilds.org>2018-06-05 21:41:30 +0100
committerDavid Spencer <idlemoor@slackbuilds.org>2018-06-05 21:41:30 +0100
commitc639cd08ec7dad8fff4a6cefa8f908041cc8b135 (patch)
tree4cad04bd14ed82f070aa550a37881b5c93267235 /development/polyml
parent1b3a10eae89c3ad6617170419b6c18d3250b7587 (diff)
development/polyml: Switch to https.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'development/polyml')
-rw-r--r--development/polyml/polyml.info2
-rw-r--r--development/polyml/slack-desc2
2 files changed, 2 insertions, 2 deletions
diff --git a/development/polyml/polyml.info b/development/polyml/polyml.info
index 0baea93db51a..8cc79e2a7d12 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 719dd858764c..20cdd760dad1 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: