development/polyml: Switch to https.

Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
This commit is contained in:
David Spencer 2018-06-05 21:41:30 +01:00
parent 1b3a10eae8
commit c639cd08ec
2 changed files with 2 additions and 2 deletions

View file

@ -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=""

View file

@ -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: