Skip to content

Add a flag to opam lock to keep local pins #4897

Closed
@rjbou

Description

@rjbou

By default, local pins are not kept in lock file. It can be useful to share a setup (after editing paths).

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions