sci-mathematics/agda-lib-ffi: update homepage

Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alexey Sokolov <sokolov@google.com>
Signed-off-by: Aaron Bauman <bman@gentoo.org>

diff --git a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild
index 44bf12e940e826464b8c55a4c56b735c5cb35fcb..9f4b8f627c6cefd2a92d0f77df2c83d8d47fefa6 100644 (file)
--- a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild
+++ b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2020 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=5
@@ -13,7 +13,7 @@ AGDA_PV="2.4.2.3"
 AGDA_P="${AGDA_PN}-${AGDA_PV}"
 
 DESCRIPTION="Auxiliary Haskell code used by Agda's standard library"
-HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
+HOMEPAGE="https://wiki.portal.chalmers.se/agda/"
 SRC_URI="https://github.com/agda/${AGDA_PN}/archive/${AGDA_PV}.tar.gz -> ${AGDA_P}.tar.gz"
 
 LICENSE="MIT"

diff --git a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild
index 6b8ed5ad076c937c5edc8603be18daf21b79cad1..a547e511ba113332039e5c98ef30964c06a6288b 100644 (file)
--- a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild
+++ b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2020 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=5
@@ -11,8 +11,8 @@ inherit haskell-cabal
 AGDA_P="lib-0.7"
 
 DESCRIPTION="Auxiliary Haskell code used by Agda's standard library"
-HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
-SRC_URI="http://www.cse.chalmers.se/~nad/software/${AGDA_P}.tar.gz"
+HOMEPAGE="https://wiki.portal.chalmers.se/agda/"
+SRC_URI="https://www.cse.chalmers.se/~nad/software/${AGDA_P}.tar.gz"
 
 LICENSE="MIT"
 SLOT="0/${PV}"