dev-lang/polyml: use HTTPs
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Mon, 4 Jun 2018 20:00:40 +0000 (22:00 +0200)
committerAaron Bauman <bman@gentoo.org>
Thu, 7 Jun 2018 19:20:34 +0000 (15:20 -0400)
commit676a8615c5954fe5d2506c62364412582af04b94
treeb07a5a40e19efeda62e4dfa0e15f5098d303b065
parent7af2ca22018d3e4c7865abeb8f45e6e9d8138c88
dev-lang/polyml: use HTTPs

Closes: https://github.com/gentoo/gentoo/pull/8724
dev-lang/polyml/polyml-5.4.1.ebuild
dev-lang/polyml/polyml-5.5.0.ebuild
dev-lang/polyml/polyml-5.5.1.ebuild
dev-lang/polyml/polyml-5.5.2.ebuild
dev-lang/polyml/polyml-5.6.ebuild