Summary: | Last rite dev-ml/ppx_metaquot | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Tupone Alfredo <tupone> |
Component: | Current packages | Assignee: | Gentoo Team for the ML programming language family <ml> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | gienah |
Priority: | Normal | Keywords: | PMASKED |
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
URL: | https://github.com/janestreet-deprecated/ppx_metaquot | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Tupone Alfredo
2021-09-30 16:43:22 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(-) 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(-) |