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/metamath-databases | |
| 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/metamath-databases')
0 files changed, 0 insertions, 0 deletions