diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2018-06-04 22:00:40 +0200 |
|---|---|---|
| committer |   Aaron Bauman <bman@gentoo.org> | 2018-06-07 15:20:34 -0400 |
| commit | 676a8615c5954fe5d2506c62364412582af04b94 (patch) | |
| tree | b07a5a40e19efeda62e4dfa0e15f5098d303b065 /dev-lang/polyml/polyml-5.5.0.ebuild | |
| parent | dev-db/psqlodbc: use HTTPs (diff) | |
| download | gentoo-676a8615c5954fe5d2506c62364412582af04b94.tar.gz gentoo-676a8615c5954fe5d2506c62364412582af04b94.tar.bz2 gentoo-676a8615c5954fe5d2506c62364412582af04b94.zip | |
dev-lang/polyml: use HTTPs
Closes: https://github.com/gentoo/gentoo/pull/8724
Diffstat (limited to 'dev-lang/polyml/polyml-5.5.0.ebuild')
| -rw-r--r-- | dev-lang/polyml/polyml-5.5.0.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/polyml/polyml-5.5.0.ebuild b/dev-lang/polyml/polyml-5.5.0.ebuild index c8799c914844..44b3faff1569 100644 --- a/dev-lang/polyml/polyml-5.5.0.ebuild +++ b/dev-lang/polyml/polyml-5.5.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2015 Gentoo Foundation +# Copyright 1999-2018 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI="5" @@ -11,7 +11,7 @@ MY_PV=$(get_version_component_range "1-2" "${PV}") MY_P="${PN}.${MY_PV}" DESCRIPTION="Poly/ML is a full implementation of Standard ML" -HOMEPAGE="http://www.polyml.org" +HOMEPAGE="https://www.polyml.org" SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz" LICENSE="LGPL-2.1" |