Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 749696

Summary: dev-ml/ocaml-re: merge with dev-ml/re
Product: Gentoo Linux Reporter: Sam James <sam>
Component: Current packagesAssignee: Gentoo Team for the ML programming language family <ml>
Status: RESOLVED FIXED    
Severity: normal CC: gienah, maintainer-needed
Priority: Normal Keywords: PMASKED
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

Description Sam James archtester Gentoo Infrastructure gentoo-dev Security 2020-10-17 11:55:03 UTC
They seem to be the same package (even same SRC_URI), so a pkgmove could work.
Comment 1 Larry the Git Cow gentoo-dev 2021-03-13 15:26:10 UTC
The bug has been referenced in the following commit(s):

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

commit 5f714182255d4d37d168a4dc46b91fb52e7cee72
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2021-03-12 16:09:21 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2021-03-13 15:22:46 +0000

    profiles: last-rite dev-ml/ocaml-re
    
    Bug: https://bugs.gentoo.org/749696
    Bug: https://bugs.gentoo.org/711414
    Signed-off-by: Sam James <sam@gentoo.org>

 profiles/package.mask | 6 ++++++
 1 file changed, 6 insertions(+)