sci-mathematics/alt-ergo: use HTTPs

diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index 46560c627430f02778bc5ae9677b1f7dde49815c..8126e7e63d8e9a340e4aa5d4c9cb98b0577624a4 100644 (file)
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -1,10 +1,10 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=6
 
 DESCRIPTION="Automatic theorem prover"
-HOMEPAGE="http://alt-ergo.ocamlpro.com"
+HOMEPAGE="https://alt-ergo.ocamlpro.com"
 SRC_URI="https://alt-ergo.ocamlpro.com/http/${P}/${P}.tar.gz"
 
 LICENSE="CeCILL-C"