Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 749696 - dev-ml/ocaml-re: merge with dev-ml/re
Summary: dev-ml/ocaml-re: merge with dev-ml/re
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:
Whiteboard:
Keywords: PMASKED
Depends on:
Blocks:
 
Reported: 2020-10-17 11:55 UTC by Sam James
Modified: 2021-05-10 17:14 UTC (History)
2 users (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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(+)