diff options
Diffstat (limited to 'development/polyml/polyml.info')
| -rw-r--r-- | development/polyml/polyml.info | 2 |
1 files changed, 1 insertions, 1 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="" |