From: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Date: Sat, 2 Jun 2018 21:05:41 +0000 (+0200)
Subject: sci-mathematics/alt-ergo: use HTTPs
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=a04371ceca8c5a7ccd9083b5d4da4647a07d21c4;p=gentoo.git

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 46560c627430..8126e7e63d8e 100644
--- 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"