Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 680704 - dev-tex/envlab: HOMEPAGE down
Summary: dev-tex/envlab: HOMEPAGE down
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: TeX project
URL:
Whiteboard:
Keywords: PullRequest
Depends on:
Blocks:
 
Reported: 2019-03-17 10:32 UTC by yuLya
Modified: 2019-04-22 14:32 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description yuLya 2019-03-17 10:32:24 UTC 
Homepage link "http://planck.psu.edu/~boris/" is dead (DNS problem) for more than a month.

found with https://repology.org/repository/gentoo/problems
and verified.


It's not just you! planck.psu.edu looks down from here.
Comment 1 Larry the Git Cow gentoo-dev 2019-04-22 14:32:18 UTC 
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3921b4c15bb2775bac57d492c2c31b6bacf36771

commit 3921b4c15bb2775bac57d492c2c31b6bacf36771
Author:     Wim Muskee <wimmuskee@gmail.com>
AuthorDate: 2019-04-12 17:37:23 +0000
Commit:     Jonas Stein <jstein@gentoo.org>
CommitDate: 2019-04-22 14:10:32 +0000

    dev-tex/envlab: update HOMEPAGE, metadata
    
    Closes: https://bugs.gentoo.org/680704
    Signed-off-by: Wim Muskee <wimmuskee@gmail.com>
    Signed-off-by: Jonas Stein <jstein@gentoo.org>

 dev-tex/envlab/envlab-1.2-r1.ebuild | 4 ++--
 dev-tex/envlab/metadata.xml         | 3 +++
 2 files changed, 5 insertions(+), 2 deletions(-)