Hello, I am trying to remove the zlib flag from media-libs/netpbm and sci-mathematics/coq depends on it. Please replace media-libs/netpbm[png,zlib] with media-libs/netpbm[png,zlib(+)] in DEPEND. Also by looking at bug https://bugs.gentoo.org/310305 it appears zlib is required for pnmtops. This may have been the case in 2010, but now pnmtops is enabled by the postscript use flag, not zlib alone. So maybe media-libs/netpbm[png,postscript,zlib(+)] would be even better. I will create a PR with this change and will link it here. Thank you!
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c2d0457fbca7c4e64c9c4caa99708e7586725693 commit c2d0457fbca7c4e64c9c4caa99708e7586725693 Author: Viorel Munteanu <ceamac.paragon@gmail.com> AuthorDate: 2021-07-10 07:24:35 +0000 Commit: Andrew Ammerlaan <andrewammerlaan@gentoo.org> CommitDate: 2021-07-26 11:06:05 +0000 sci-mathematics/coq: use a dependency default flag media-libs/netpbm is dropping zlib USE flag Closes: https://bugs.gentoo.org/801442 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Viorel Munteanu <ceamac.paragon@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/21580 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> sci-mathematics/coq/coq-8.11.2-r1.ebuild | 90 ++++++++++++++++++++++++++++++++ sci-mathematics/coq/coq-8.12.0-r2.ebuild | 90 ++++++++++++++++++++++++++++++++ sci-mathematics/coq/coq-8.13.0-r1.ebuild | 88 +++++++++++++++++++++++++++++++ 3 files changed, 268 insertions(+)
The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d35302fc8a415b6c8081e42cc35166b5fb77bcc7 commit d35302fc8a415b6c8081e42cc35166b5fb77bcc7 Author: Viorel Munteanu <ceamac.paragon@gmail.com> AuthorDate: 2021-12-07 18:16:45 +0000 Commit: Joonas Niilola <juippis@gentoo.org> CommitDate: 2021-12-14 12:44:38 +0000 sci-mathematics/coq: drop redundant ebuilds Drop old ebuilds that depend on media-libs/netpbm[zlib] They have been replaced by ebuilds that depend on media-libs/netpbm[zlib(+)] Bug: https://bugs.gentoo.org/801442 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Viorel Munteanu <ceamac.paragon@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/23211 Signed-off-by: Joonas Niilola <juippis@gentoo.org> sci-mathematics/coq/coq-8.11.2.ebuild | 90 -------------------------------- sci-mathematics/coq/coq-8.12.0-r1.ebuild | 90 -------------------------------- sci-mathematics/coq/coq-8.13.0.ebuild | 88 ------------------------------- 3 files changed, 268 deletions(-)