| 1 |
commit: a04371ceca8c5a7ccd9083b5d4da4647a07d21c4 |
| 2 |
Author: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com> |
| 3 |
AuthorDate: Sat Jun 2 21:05:41 2018 +0000 |
| 4 |
Commit: Aaron Bauman <bman <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sat Jun 2 22:38:07 2018 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a04371ce |
| 7 |
|
| 8 |
sci-mathematics/alt-ergo: use HTTPs |
| 9 |
|
| 10 |
sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 4 ++-- |
| 11 |
1 file changed, 2 insertions(+), 2 deletions(-) |
| 12 |
|
| 13 |
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild |
| 14 |
index 46560c62743..8126e7e63d8 100644 |
| 15 |
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild |
| 16 |
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild |
| 17 |
@@ -1,10 +1,10 @@ |
| 18 |
-# Copyright 1999-2017 Gentoo Foundation |
| 19 |
+# Copyright 1999-2018 Gentoo Foundation |
| 20 |
# Distributed under the terms of the GNU General Public License v2 |
| 21 |
|
| 22 |
EAPI=6 |
| 23 |
|
| 24 |
DESCRIPTION="Automatic theorem prover" |
| 25 |
-HOMEPAGE="http://alt-ergo.ocamlpro.com" |
| 26 |
+HOMEPAGE="https://alt-ergo.ocamlpro.com" |
| 27 |
SRC_URI="https://alt-ergo.ocamlpro.com/http/${P}/${P}.tar.gz" |
| 28 |
|
| 29 |
LICENSE="CeCILL-C" |
Archives