Skip to content

builtin-0install: Avoid removing or downgrading packages on upgrades #6824

@kit-ty-kate

Description

@kit-ty-kate

This might be doable by ordering the explicitly installed packages (pinned or root) earlier in the list given to opam-0install-cudf.

This would require to not merge #6531

Related to #6586

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions