Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 694056 - dev-libs/gecode: removal
Summary: dev-libs/gecode: removal
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Deadline: 2019-10-11
Assignee: No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
URL:
Whiteboard:
Keywords: PMASKED
Depends on:
Blocks:
 
Reported: 2019-09-11 17:27 UTC by Michał Górny
Modified: 2019-10-11 15:06 UTC (History)
1 user (show)

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 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-09-11 17:27:42 UTC 
Unmaintained.  Last bumped in 2016, many versions behind now.  Has test failure reported.  No reverse dependencies.
Comment 1 Larry the Git Cow gentoo-dev 2019-09-11 17:29:10 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(+)
Comment 2 Larry the Git Cow gentoo-dev 2019-10-11 15:06:29 UTC 
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(-)