Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 815466 - Last rite dev-ml/ppx_metaquot
Summary: Last rite dev-ml/ppx_metaquot
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL: https://github.com/janestreet-depreca...
Whiteboard:
Keywords: PMASKED
Depends on:
Blocks:
 
Reported: 2021-09-30 16:43 UTC by Tupone Alfredo
Modified: 2021-11-07 01:31 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 Tupone Alfredo gentoo-dev 2021-09-30 16:43:22 UTC 
deprecated upstream. Last release 3 years ago.

Does not build

Reproducible: Always
Comment 1 Larry the Git Cow gentoo-dev 2021-10-25 13:31:21 UTC 
The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=25a8f48b56f597245adb8c3eac25c3662df1051f

commit 25a8f48b56f597245adb8c3eac25c3662df1051f
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2021-10-25 13:31:05 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2021-10-25 13:31:15 +0000

    profiles: add removal date for dev-ml/ppx_metaquot
    
    Bug: https://bugs.gentoo.org/815466
    Signed-off-by: Sam James <sam@gentoo.org>

 profiles/package.mask | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
Comment 2 Larry the Git Cow gentoo-dev 2021-11-07 01:31:04 UTC 
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5eb7d3b71281713d6ece2f8a9f4abbc256721c0d

commit 5eb7d3b71281713d6ece2f8a9f4abbc256721c0d
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2021-11-07 01:29:46 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2021-11-07 01:29:58 +0000

    dev-ml/ppx_metaquot: treeclean
    
    Closes: https://bugs.gentoo.org/749246
    Closes: https://bugs.gentoo.org/815466
    Signed-off-by: Sam James <sam@gentoo.org>

 dev-ml/ppx_metaquot/Manifest                   |  1 -
 dev-ml/ppx_metaquot/metadata.xml               | 11 -----------
 dev-ml/ppx_metaquot/ppx_metaquot-0.11.0.ebuild | 18 ------------------
 profiles/package.mask                          |  5 -----
 4 files changed, 35 deletions(-)