diff options
| author |   Eli Schwartz <eschwartz@gentoo.org> | 2024-09-08 23:50:20 -0400 |
|---|---|---|
| committer | Eli Schwartz <eschwartz@gentoo.org> | 2024-09-09 21:04:12 -0400 |
| commit | e25ea15a06d31bdb46c3c5f6911b71d359547ca0 (patch) | |
| tree | 94454d08c00d1fb9a850b870e90ba7eb47ffbbf0 /sci-mathematics | |
| parent | sci-mathematics/twelf: update SRC_URI to new mirror (diff) | |
| download | gentoo-e25ea15a06d31bdb46c3c5f6911b71d359547ca0.tar.gz gentoo-e25ea15a06d31bdb46c3c5f6911b71d359547ca0.tar.bz2 gentoo-e25ea15a06d31bdb46c3c5f6911b71d359547ca0.zip | |
sci-mathematics/twelf: update HOMEPAGE for https
Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/twelf/twelf-1.7.1-r2.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild index c48262362df0..9e6c45a37143 100644 --- a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild +++ b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild @@ -9,7 +9,7 @@ MY_PN="${PN}-src" MY_P="${MY_PN}-${PV}" DESCRIPTION="Implementation of the logical framework LF" -HOMEPAGE="http://twelf.org/" +HOMEPAGE="https://twelf.org/" SRC_URI="https://github.com/standardml/twelf/releases/download/v${PV}/${MY_P}.tar.gz" SLOT="0/${PV}" |