diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2018-06-02 23:05:41 +0200 |
|---|---|---|
| committer |   Aaron Bauman <bman@gentoo.org> | 2018-06-02 18:38:07 -0400 |
| commit | a04371ceca8c5a7ccd9083b5d4da4647a07d21c4 (patch) | |
| tree | a6d0f9880bafe8daedea6197643f3226a6c01aa4 /sci-mathematics | |
| parent | media-libs/skstream: use HTTPs (diff) | |
| download | gentoo-a04371ceca8c5a7ccd9083b5d4da4647a07d21c4.tar.gz gentoo-a04371ceca8c5a7ccd9083b5d4da4647a07d21c4.tar.bz2 gentoo-a04371ceca8c5a7ccd9083b5d4da4647a07d21c4.zip | |
sci-mathematics/alt-ergo: use HTTPs
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
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" |