Skip to content

Deps: several sources per dependency #231

Open

Description

@Kinflou

Part of #227. Proposal: ComlineProject/docs#163, proposals/offline/supply.md#several-sources-per-dependency.

  • One identity (version or commit, plus hash) with an ordered sources = [...]: the official registry, custom registries, git.
  • More than one source requires a hash. An unreachable source, or one without the content, falls through to the next; a mismatch is a hard error.
  • The root package may add sources for a transitive dependency whose pin carries a hash. It adds and never replaces; patching is out of scope.
  • Order: machine and organisation mirrors first, then the root's additions, then the package's own sources. Offline, only local sources count.
  • The build reports which source served each dependency (verbose and --json). This is never frozen.

Activity

  1. added
    P2Soon
    toolingCLI, language server, editor
    configPackages, config.idp, settings
    on Nov 9, 2026
  2. Kinflou commented on Nov 9, 2026

    @Kinflou
    MemberAuthor

    Decided (docs#163):

    • A dependency's sources list is never frozen. Only its identity (version or commit, and hash) is, so moving a repository or adding a source is not a new version.
    • The root package's extra sources for transitive dependencies go in its comline.toml.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    P2SoonconfigPackages, config.idp, settingstoolingCLI, language server, editor

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions