Summary: | dev-libs/gecode: removal | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Michał Górny <mgorny> |
Component: | Current packages | Assignee: | No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it <maintainer-needed> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | treecleaner |
Priority: | Normal | Keywords: | PMASKED |
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Deadline: | 2019-10-11 |
Description
Michał Górny
2019-09-11 17:27:42 UTC
The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a2c19d60727583507de8ae5545e8444f66f063b commit 4a2c19d60727583507de8ae5545e8444f66f063b Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2019-09-11 17:28:03 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2019-09-11 17:29:03 +0000 package.mask: Last rite dev-libs/gecode Bug: https://bugs.gentoo.org/694056 Signed-off-by: Michał Górny <mgorny@gentoo.org> profiles/package.mask | 6 ++++++ 1 file changed, 6 insertions(+) The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=36f30cb79abfa1b547f2012af15a288ee42ec555 commit 36f30cb79abfa1b547f2012af15a288ee42ec555 Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2019-10-11 15:05:50 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2019-10-11 15:05:50 +0000 dev-libs/gecode: Remove last-rited pkg Closes: https://bugs.gentoo.org/694056 Signed-off-by: Michał Górny <mgorny@gentoo.org> dev-libs/gecode/Manifest | 2 - .../gecode/files/gecode-4.4.0-no-examples.patch | 18 ----- dev-libs/gecode/gecode-3.7.3-r1.ebuild | 42 ----------- dev-libs/gecode/gecode-4.4.0-r2.ebuild | 81 ---------------------- dev-libs/gecode/metadata.xml | 14 ---- profiles/package.mask | 6 -- 6 files changed, 163 deletions(-) |