Summary: | sci-mathematics/alt-ergo[gtk] depends on dev-ml/lablgtk:2 | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Andreas Sturmlechner <asturm> |
Component: | Current packages | Assignee: | Tupone Alfredo <tupone> |
Status: | RESOLVED FIXED | ||
Severity: | normal | Keywords: | PullRequest |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
URL: | https://github.com/OCamlPro/alt-ergo/issues/246 | ||
See Also: |
https://bugs.gentoo.org/show_bug.cgi?id=805002 https://github.com/OCamlPro/alt-ergo/pull/513 https://bugs.gentoo.org/show_bug.cgi?id=892271 https://github.com/gentoo/gentoo/pull/28805 |
||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | |||
Bug Blocks: | 769287 |
Description
Andreas Sturmlechner
2021-02-07 15:45:20 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(-) |