diff options
| -rw-r--r-- | development/polyml/polyml.info | 2 | ||||
| -rw-r--r-- | development/polyml/slack-desc | 2 |
2 files changed, 2 insertions, 2 deletions
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: |