Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 769332 - sci-mathematics/alt-ergo[gtk] depends on dev-ml/lablgtk:2
Summary: sci-mathematics/alt-ergo[gtk] depends on dev-ml/lablgtk:2
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Tupone Alfredo
URL: https://github.com/OCamlPro/alt-ergo/...
Whiteboard:
Keywords: PullRequest
Depends on:
Blocks: lablgtk2-removal
  Show dependency tree
 
Reported: 2021-02-07 15:45 UTC by Andreas Sturmlechner
Modified: 2023-01-30 19:48 UTC (History)
0 users

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


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Andreas Sturmlechner gentoo-dev 2021-02-07 15:45:20 UTC
x11-libs/gtk+:2 is dead and needs to go away.
Comment 1 Larry the Git Cow gentoo-dev 2023-01-30 19:48:46 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=520acbb882cdd701e561e1c54bfa94134506c905

commit 520acbb882cdd701e561e1c54bfa94134506c905
Author:     Andreas Sturmlechner <asturm@gentoo.org>
AuthorDate: 2023-01-27 20:30:41 +0000
Commit:     Andreas Sturmlechner <asturm@gentoo.org>
CommitDate: 2023-01-30 19:48:23 +0000

    sci-mathematics/alt-ergo: drop 2.3.0-r1, 2.4.1_p20220407-r1
    
    2.3.0-r1 overshadowed by 2.4.1-r2
    2.4.1_p20220407-r1 overshadowed by 2.4.2-r1
    
    Closes: https://bugs.gentoo.org/769332
    Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>

 sci-mathematics/alt-ergo/Manifest                  |  2 -
 sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild  | 56 ----------------------
 .../alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild    | 52 --------------------
 3 files changed, 110 deletions(-)